fix: usr: Fixed project page button

motrellin · Jul 24, 2024 · 343adff · 343adff
1 parent 67c75cb
commit 343adff
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/meta.yml b/meta.yml
@@ -16,13 +16,15 @@ action_appendix: |2-
               endGroup
             after_script: |-
               make coqdoc
-              cp resources/index.md html/index.md
+              mkdir public
+              cp -r html public/docs
+              cp resources/index.md public/index.md
         - name: Setup Pages
           uses: actions/configure-pages@v5
         - name: Build with Jekyll
           uses: actions/jekyll-build-pages@v1
           with:
-            source: ./html
+            source: ./public
             destination: ./_site
         - name: Revert Coq user permissions
           # to avoid a warning at cleanup time
@@ -100,7 +102,7 @@ documentation: |-
 
 #index_documentation:
 
-coqdoc_index: ./toc.html
+coqdoc_index: ./docs/toc.html
 
 opam-file-maintainer: [email protected]