DocScoDoc/tools/publish

35 lines
603 B
Plaintext
Raw Normal View History

2020-09-26 14:36:00 +02:00
#!/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
2021-04-25 21:43:21 +02:00
# 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 .)
2020-09-26 14:36:00 +02:00
# --- Publish
2022-02-27 09:28:16 +01:00
rsync -vaze ssh --delete site scodoc.org:/var/www/html