put in fancy script for building gh-pages

Author: PythonCHB

Sources/build_gh_pages.sh

@@ -3,14 +3,35 @@
 # simple script to build and push to gh-pages
 # designed to be run from master
 
+# this version used a separate copy of the repo in a parallel dir
+# to keep the gh-pages branch nicely separate from the main branch.
+# this makes it easier to have the index.html in the root dir
+#  -- to be nicely served by gh-pages
+
+
+GHPAGESDIR=../../PythonTopics_gh_pages
+
+# make sure gh-pages dir is there -- exit if not
+if [ ! -d $GHPAGESDIR ]; then
+    echo "To build the gitHub pages, you must first create a parallel repo: $GHPAGESDIR"
+    exit
+fi
+
+# make sure that the main branch is pushed, so that pages are in sync with master
+git push
+
+# make sure the gh pages repo is there and in the right branch
+pushd $GHPAGESDIR
+git checkout gh-pages
+popd
+
 # make the docs
 make html
-
 # copy to other repo (on the gh-pages branch)
-cp -R build/html/ ../../PythonTopics_gh_pages/
+cp -R build/html/ $GHPAGESDIR
 
-cd ../../PythonTopics_gh_pages
-git checkout gh-pages
-git add * # in case there are new files added
-git commit -a
-git push
+pushd $GHPAGESDIR
+git add . # in case there are new files added
+git commit -a -m "updating rendered version"
+git pull -s ours --no-edit
+git push --set-upstream origin gh-pages