fetch_docs_from_frontend.sh

#!/usr/bin/env bash
#
# Disabled, keep docu locally in this repo instead
#
# git init cat
# cd cat
# git remote add origin https://github.com/ScicatProject/frontend
# git config core.sparsecheckout true
# echo "documentation/*" >> .git/info/sparse-checkout
# git pull --depth=1 origin master
# ls