docs: fix GitHub pages rendering (#916)

We need the `.nojekyll` file to render `zrepl.github.io` properly. Before 4f950bb , `sphinx-multiversion` rendered `.nojekyll`.
2026-02-06 01:10:28 +01:00
parent 17805e32c2
commit 9e5f5e1ec9
1 changed files with 3 additions and 0 deletions
@@ -54,6 +54,9 @@ git reset --hard origin/master
 echo "Cleaning GitHub pages repo..."
 git rm -rf . || true
 # GitHub Pages https://github.blog/news-insights/the-library/bypassing-jekyll-on-github-pages/
 touch .nojekyll
 # Build docs
 echo "Building docs..."
 cd "$ROOTDIR"