#!/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 # Generate robots.txt cat > site/robots.txt <<EOF User-agent: * Allow: / Sitemap: http://scodoc.org/sitemap.xml EOF (cd site && ln -s img/favicon.ico .) # --- Publish rsync -vaze ssh site scodoc.org:/var/www/html