From d030ed9a22d051c2ec36055c4a3546e6f216e844 Mon Sep 17 00:00:00 2001
From: "John C. Lavelle" <jlavelle604@gmail.com>
Date: Sun, 18 Oct 2020 21:49:12 -0400
Subject: [PATCH] Update docs script

---
 scripts/mkDocs.fish | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

diff --git a/scripts/mkDocs.fish b/scripts/mkDocs.fish
index b9efd40..75bfcd4 100644
--- a/scripts/mkDocs.fish
+++ b/scripts/mkDocs.fish
@@ -1,8 +1,23 @@
 set root (realpath (dirname (status --current-filename)))/..
+set currentBranch (git branch --show-current)
+set msg "Generated docs "(date "+%m/%d/%y %T")" for branch $currentBranch"
+
+git checkout gh-pages
+or exit
+
 echo Deleting old documentation in $root/docs
+
 rm -rf $root/docs
+
 cd $root/examples
 spago docs
+
 echo Copying generated documentation to $root/docs
 rsync -a $root/examples/generated-docs/html/ $root/docs/
-echo Done.
+
+git add -f $root/docs/.
+
+git commit -m $msg
+and git push
+
+git checkout $currentBranch