add .nojekyll to docs for github pages

russhughes · Feb 26, 2024 · 80ac510 · 80ac510
1 parent af50751
commit 80ac510
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/sphinx/update_docs.sh b/sphinx/update_docs.sh
@@ -238,4 +238,6 @@ update_examples
 update_utils
 hack_index
 make html
-sudo /usr/bin/rsync --progress --delete --progress -avz _build/html/* ../docs/ > /dev/null
+/usr/bin/rsync --progress --delete --progress -avz _build/html/* ../docs/ > /dev/null
+touch ../docs/.nojekyll
+make clean