From 32b6d036890eef954dad5b5dd480a36f14890646 Mon Sep 17 00:00:00 2001 From: Ciro Santilli Date: Tue, 27 Jul 2021 16:53:17 +0100 Subject: [PATCH] oops index-split --- publish-gh-pages | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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