DOC/MAINT: Add .nojekyll in dev dir.

Author: WarrenWeckesser

.github/workflows/publish_docs_to_pages.yml

@@ -69,6 +69,7 @@ jobs:
         cd dev
         echo "Copying /tmp/html here"
         cp -v -r /tmp/html/* .
+        touch .nojekyll
         echo "Adding new dev documentation"
         git add -A .
         git commit -m "Add new dev documentation"