DocScoDocPE/tools/publish

#!/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 ! command -v mkdocs &> /dev/null
   then
       echo "Please active mkdocs :"
       echo "  source venv/bin/activate"
       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 --delete site scodoc.org:/var/www/html