From: fennecdjay Date: Mon, 11 Nov 2019 11:35:26 +0000 (+0100) Subject: :art: Improve deploy X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=f4e4973c7bfbe6a07ecdb572183a2f789d16ab16;p=gwion.git :art: Improve deploy --- diff --git a/docs/BuildingTheDocs.mdr b/docs/BuildingTheDocs.mdr index e71e25b1..cd084fd4 100644 --- a/docs/BuildingTheDocs.mdr +++ b/docs/BuildingTheDocs.mdr @@ -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 diff --git a/scripts/deploy.sh b/scripts/deploy.sh index f3ad8604..2acb9464 100644 --- a/scripts/deploy.sh +++ b/scripts/deploy.sh @@ -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