]> Nishi Git Mirror - gwion.git/commitdiff
:art: Improve deploy
authorfennecdjay <astor.jeremie@wanadoo.fr>
Mon, 11 Nov 2019 11:35:26 +0000 (12:35 +0100)
committerfennecdjay <astor.jeremie@wanadoo.fr>
Mon, 11 Nov 2019 11:35:32 +0000 (12:35 +0100)
docs/BuildingTheDocs.mdr
scripts/deploy.sh

index e71e25b18c22e36e2510f89b9ba0b50a5cbfaa76..cd084fd42aa51e234afbdbc7b71528df25ea72ee 100644 (file)
@@ -4,9 +4,9 @@
 All documentation files are in docs.
 They are [mdr](https://github.com/fennecdjay/mdr) files.
 Along with them is a `list` file, helping to build the summary.
-
+> To be continued ...
 ## makefile
 
-## sciprt
+## scripts
 
 ## Mdbook
index f3ad86044560f05f5015359da218f9b34e5670c7..2acb9464686a3be013c9109f20f5fcafc363aee0 100644 (file)
@@ -1,7 +1,7 @@
+git checkout doc_tmp
 git branch -r | grep gh-pages && git push origin :gh-pages || true
 git add -f book
 git commit -m "add book"
 git subtree push --prefix book origin gh-pages
-git rm -r book
-rm -rf book
-git commit -m "remove book"
+git checkout mdbook
+git branch -D doc_tmp