oops index-split

cirosantilli · cirosantilli · commit 32b6d036890e · 2021-07-27T16:53:17.000+01:00
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -11,7 +11,7 @@ git checkout master -- \`
`11`	`11`	`;`
`12`	`12`	`cp out/README.html index.html`
`13`	`13`	`cp out/doc/* .`
`14`		`-mv README.html index.html`
	`14`	`+mv README.html index-split.html`
`15`	`15`	`git add .`
`16`	`16`	`git commit --message "$(git log -n1 --pretty='%H' master)"`
`17`	`17`	`git push`