#!/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 <