From 8c676ce793da18dddb4c9ae97187803c3bd6abc6 Mon Sep 17 00:00:00 2001
From: Daniel Strobusch <1847260+dastrobu@users.noreply.github.com>
Date: Sun, 17 Dec 2023 22:16:24 +0100
Subject: [PATCH] generate empty theme-settings.json to avoid 404

---
 .github/workflows/docc.yaml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/docc.yaml b/.github/workflows/docc.yaml
index 2936d1f..82a0801 100644
--- 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 }}