Generate index (#33)

* Generate index.html with tree on release * Commit after adding index
quickemu-project · Nov 12, 2021 · 4d1c200 · 4d1c200
1 parent c6d161c
commit 4d1c200
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -37,6 +37,12 @@ jobs:
           cd ${{ github.workspace }}
           mkdir docs
           cp -r build/* docs
+      - name: Generate index
+        run: |
+          cd ${{ github.workspace }}/docs
+          tree -H '.' -L 3 --noreport --charset utf-8 -o index.html
+      - name: Commit docs
+        run: |
           git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
           git config --local user.name "github-actions[bot]"
           git add docs