Disable nojekyll on gh-pages (#701)

aws · Mar 28, 2024 · 6007778 · 6007778
1 parent 4a3d7a5
commit 6007778
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/make-docs.py b/make-docs.py
@@ -12,3 +12,7 @@
 # build
 if os.system('doxygen docsrc/doxygen.config') != 0:
     exit(1)
+
+# disable jekyll on gh-pages, because jekyll ignores html files
+# started with underscore, and doxygen does generate such filenames
+open('docs/.nojekyll', 'w').close()