Use directory instead of link for docs

TheSystemDevelopmentKit · Jan 22, 2024 · 8331624 · 8331624
1 parent 972233a
commit 8331624
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 2 deletions.
diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
@@ -18,4 +18,4 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v3
       - name: Documentation builder action
-        run:  cd doc && make html && cd ..
+        run:  cd doc && make html && cd .. && rm -rf ./docs && mv ./doc/build/html/* ./docs/
diff --git a/docs b/docs
diff --git a/doc/build/html/.nojekyll → docs/.nojekyll b/doc/build/html/.nojekyll → docs/.nojekyll