CI: add build step to include fragnova-network in doc

fragcolor-xyz · Mar 22, 2023 · 4070453 · 4070453
1 parent 6aaf531
commit 4070453
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/.github/workflows/build-doc.yml b/.github/workflows/build-doc.yml
@@ -134,6 +134,19 @@ jobs:
           ln -s ../../shards-examples/tutorials/
           cd docs/learn/shards
           ln -s ../../../../../shards-examples/tutorials/
+      - name: Checkout fragnova
+        uses: actions/checkout@v3
+        with:
+          repository: fragcolor-xyz/fragnova
+          fetch-depth: 1
+          path: fragnova
+      - name: Link fragnova
+        run: |
+          # note: we link twice because some relative path (esp. include) might be incorrect
+          cd shards/docs
+          ln -s ../../fragnova/docs/fragnova-network
+          cd docs/learn
+          ln -s ../../../../fragnova/docs/fragnova-network
       - name: Build website
         if: ${{ steps.setup.outputs.publish != 'true' }}
         run: |