publishing script.

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