Fixa

Seggan · Oct 20, 2023 · da2177f · da2177f
1 parent 60766ef
commit da2177f
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 8 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -6,11 +6,20 @@ jobs:
     steps:
       - uses: actions/checkout@v2
 
+      - name: Cache Papyri
+        id: cache-papyri
+        uses: actions/cache@v2
+        with:
+          path: $HOME/.cargo/bin/papyri/
+          key: papyri-lang
+          restore-keys: papyri-lang
+
       - uses: actions-rs/toolchain@v1
         with:
           toolchain: stable
-      - name: Install Papyri
-        run: cargo install papyri-lang
+      - if: steps.cache-papyri.outputs.cache-hit != 'true'
+        name: Install Papyri
+        run: cargo install papyri
 
       - name: Generate KDoc
         run: ./gradlew dokkaHtml

diff --git a/docs/metis.lib.papyri b/docs/metis.lib.papyri
@@ -1,8 +1,9 @@
-@let(nav_root_links=[
-    [`/`, `Home`],
-    [`/lang`, `The Language`],
-    [`/lang/examples.html`, `Examples`],
-    [`/javadocs`, `API Javadocs`]
+@let(base_url=`https://seggan.github.io/metis`,
+nav_root_links=[
+    [$base_url, `Home`],
+    ["$base_url/lang", `The Language`],
+    ["$base_url/lang/examples.html", `Examples`],
+    ["$base_url/javadocs", `API Javadocs`]
 ])...
 
 @export @fn metis $code: str -> <pre class=`panel listing`> <metis> $code </metis> </pre>
@@ -68,7 +69,7 @@
     title=$_title,
     head={
         <link href=`https://fonts.googleapis.com/css?family=Fira Code` rel=`stylesheet`>
-        <link rel=`stylesheet` type=`text/css` href=`/static/metis.css`>
+        <link rel=`stylesheet` type=`text/css` href="$base_url/static/metis.css">
     },
     header=<nav data_title="Navigation">@get_nav($_title) $content</nav>
 ) $content