From f4e4973c7bfbe6a07ecdb572183a2f789d16ab16 Mon Sep 17 00:00:00 2001 From: fennecdjay Date: Mon, 11 Nov 2019 12:35:26 +0100 Subject: [PATCH] :art: Improve deploy --- docs/BuildingTheDocs.mdr | 4 ++-- scripts/deploy.sh | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) 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 -- 2.43.0