We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent fd268dc commit deb7d27Copy full SHA for deb7d27
2 files changed
admin/post_release
100644
100755
admin/release
@@ -85,6 +85,7 @@ cd user_guide_src
85
make html
86
rm -Rf ../docs
87
mv build/html ../docs
88
+touch ../docs/.nojekyll
89
90
# make the epub, but leave it inside the gitignored user_guide_src to deal with separately
91
make epub
0 commit comments