Upload documentation and add links

chipsalliance · Sep 12, 2024 · 6a815a5 · 6a815a5
1 parent c75626c
commit 6a815a5
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 2 deletions.
diff --git a/.github/workflows/gh-pages-pr-remove.yml b/.github/workflows/gh-pages-pr-remove.yml
@@ -53,6 +53,8 @@ jobs:
         run: |
           rm -rf ${{ env.ROOT_DIR }}/html/dev/${{ steps.PR.outputs.number }}
           rm -rf ${{ env.ROOT_DIR }}/doctrees/dev/${{ steps.PR.outputs.number }}
+          mkdir -p public.new/html/dev/${{ steps.PR.outputs.number }}/docs_rendered
+          cp -arf ./docs_rendered/* public.new/html/dev/${{ steps.PR.outputs.number }}/docs_rendered
           sis -d webpage --loc-github-ref-name ${{ github.ref_name }} --loc-github-event-name ${{ github.event_name }} --pr-number ${{ steps.PR.outputs.number }}
 
       - name: Add redirect index page

diff --git a/.github/workflows/publish-webpage.yml b/.github/workflows/publish-webpage.yml
@@ -70,11 +70,15 @@ jobs:
       - name: Update webpage
         if: github.event_name != 'pull_request'
         run: |
+          mkdir -p public.new/html/main/docs_rendered
+          cp -arf ./docs_rendered/* public.new/html/main/docs_rendered
           sis -d webpage --loc-github-ref-name ${{ github.ref_name }} --loc-github-event-name ${{ github.event_name }} --pr-number 0
 
       - name: Update webpage PR
         if: github.event_name == 'pull_request'
         run: |
+          mkdir -p public.new/html/dev/${{ github.event.number }}/docs_rendered
+          cp -arf ./docs_rendered/* public.new/html/dev/${{ github.event.number }}/docs_rendered
           sis -d webpage --loc-github-ref-name ${{ github.ref_name }} --loc-github-event-name ${{ github.event_name }} --pr-number ${{ github.event.number }}
 
       - name: Add redirect index page

diff --git a/tools/SiteSpawner/template/webpage/dev.md b/tools/SiteSpawner/template/webpage/dev.md
@@ -3,5 +3,5 @@
 {%- for branch in branches %}
  * {{ branch }}
    * [Coverage]({{ branch }}_coverage_dashboard)
-   <!-- * [Documentation](external:dev/{{ branch }}/docs_rendered/html/index.html) -->
+   * [Documentation](external:dev/{{ branch }}/docs_rendered/html/index.html)
 {%- endfor %}
diff --git a/tools/SiteSpawner/template/webpage/main.md b/tools/SiteSpawner/template/webpage/main.md
@@ -1,4 +1,4 @@
 # Main branch
 
  * [Coverage](main_coverage_dashboard)
- <!-- * [Documentation](external:main/docs_rendered/html/index.html) -->
+ * [Documentation](external:main/docs_rendered/html/index.html)