generate empty theme-settings.json to avoid 404

dastrobu · Dec 17, 2023 · 8c676ce · 8c676ce
1 parent e40bed8
commit 8c676ce
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/docc.yaml b/.github/workflows/docc.yaml
@@ -23,6 +23,9 @@ jobs:
           --hosting-base-path NdArray 
           --disable-indexing 
           --transform-for-static-hosting
+      - name: generate theme-settings.json
+        run: echo '' > theme-settings.json
+        working-directory: docs
       - uses: peaceiris/actions-gh-pages@v3
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}