python
diff --git a/‎.github/workflows/update-and-build.yml‎
Lines changed: 1 addition & 0 deletions b/‎.github/workflows/update-and-build.yml‎
Lines changed: 1 addition & 0 deletions
diff --git a/‎docs/.nojekyll‎ b/‎docs/.nojekyll‎
@@ -63,6 +63,7 @@ jobs:
           name: build
       - run: rm -r docs
       - run: mv build docs
+      - run: touch docs/.nojekyll
       - run: git config --local user.email '[email protected]'
         name: Run git config --local user.email '…'
       - run: git config --local user.name "GitHub Action's commit-build job"