diff --git a/tools/publish b/tools/publish new file mode 100755 index 00000000..a08b405b --- /dev/null +++ b/tools/publish @@ -0,0 +1,24 @@ +#!/bin/bash + +# Compile and publish to web + +if [ ! -e "./docs" ] +then + echo "Wrong current directory: should be launched from DocScoDoc as" + echo " tools/publish" +fi + +# --- Build +if [ "$1" = "-b" ] +then + if [ "${CONDA_DEFAULT_ENV}" != "mkdocs" ] + then + echo "Please active mkdocs :" + echo " conda activate mkdocs" + exit 1 + fi + mkdocs build +fi + +# --- Publish +rsync -vaze ssh site scodoc.org:/var/www/html