diff --git a/publish-gh-pages b/publish-gh-pages
index 26c03b9..3e0e867 100755
--- a/publish-gh-pages
+++ b/publish-gh-pages
@@ -11,7 +11,7 @@ git checkout master -- \
 ;
 cp out/README.html index.html
 cp out/doc/* .
-mv README.html index.html
+mv README.html index-split.html
 git add .
 git commit --message "$(git log -n1 --pretty='%H' master)"
 git push