diff --git a/doc/Makefile b/doc/Makefile index b8aa71fa..88190d11 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -55,6 +55,7 @@ html: @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." @rm -rf ../docs cp -r $(BUILDDIR)/html ../docs + touch ../docs/.nojekyll .PHONY: dirhtml dirhtml: diff --git a/docs/.nojekyll b/docs/.nojekyll new file mode 100644 index 00000000..e69de29b