Merge pull request #640 from fragcolor-xyz/CI/doc-fragnova-network

Doc for fragnova network is moved to its respective repo
fragcolor-xyz · Mar 22, 2023 · a93bd35 · a93bd35
2 parents 64d7138 + 4070453
commit a93bd35
Show file tree

Hide file tree

Showing 7 changed files with 13 additions and 250 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: |

diff --git a/docs/docs/learn/fragnova-network/.pages b/docs/docs/learn/fragnova-network/.pages
diff --git a/docs/docs/learn/fragnova-network/assets/Fragment.png b/docs/docs/learn/fragnova-network/assets/Fragment.png
diff --git a/docs/docs/learn/fragnova-network/assets/ProtoCreationDistribution.png b/docs/docs/learn/fragnova-network/assets/ProtoCreationDistribution.png
diff --git a/docs/docs/learn/fragnova-network/assets/ProtoFragment.png b/docs/docs/learn/fragnova-network/assets/ProtoFragment.png
diff --git a/docs/docs/learn/fragnova-network/assets/fragnova.png b/docs/docs/learn/fragnova-network/assets/fragnova.png
diff --git a/docs/docs/learn/fragnova-network/index.md b/docs/docs/learn/fragnova-network/index.md