updated the github docs script, NOT CAREFULLY TESTED

utils/update_github_docs.sh

@@ -1,5 +1,7 @@
 #!/bin/bash
 # Usage: update_github_docs.sh ~/projects/loos-docs ~/project/LOOS "message goes here"
+# THIS SCRIPT IS NOT THOROUGHLY TESTED, USE AT YOUR OWN RISK
+# I'd suggest essentially doing this manually until we're sure the script is always correct
 
 docs_dir=$1
 loos_dir=$2
@@ -8,11 +10,13 @@ message=$3
 cd $docs_dir
 git pull
 git checkout gh-pages
+# This is unsafe as written, so BE VERY CAREFUL TO GET THE DIRECTORIES RIGHT
+rm -rf *
 
-cd $loos_dir
-doxygen
+cd $loos_dir/build
+cmake --build . --target=docs
 
-rsync -av Docs/html/ $docs_dir
+rsync -av html/* $docs_dir
 
 cd $docs_dir