From 9e5f5e1ec95816deec2805e70c7e659ae6b33679 Mon Sep 17 00:00:00 2001 From: Christian Schwarz Date: Fri, 6 Feb 2026 01:10:28 +0100 Subject: [PATCH] docs: fix GitHub pages rendering (#916) We need the `.nojekyll` file to render `zrepl.github.io` properly. Before 4f950bb , `sphinx-multiversion` rendered `.nojekyll`. --- docs/publish.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/docs/publish.sh b/docs/publish.sh index cc0273a..3558a9e 100755 --- a/docs/publish.sh +++ b/docs/publish.sh @@ -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"