createDocs.sh

#!/usr/bin/sh

DIRECTORY=documentation

# in case target directory for documentation already exists, delete it
if [ -d "$DIRECTORY" ]; then
	rm -r $DIRECTORY
fi

#create target directory
mkdir $DIRECTORY

# create sphinx-based documentation
make html

# copy sphinx-based htmls to target directory
cp -r _build/html/* $DIRECTORY

# copy cued logo
cp Docs/*.png $DIRECTORY/_static/

# write out tutorials as html to target directory
jupyter-nbconvert --to html --output-dir=$DIRECTORY/Docs/tutorials/ Tutorials/*.ipynb

sed -i '' -e 's/In \[ \]://' $DIRECTORY/Docs/tutorials/*.html

# copy additional files of tutorials to target dir
cp Tutorials/* $DIRECTORY/Docs/tutorials/
rm -f $DIRECTORY/Docs/tutorials/*.ipynb
rm -f $DIRECTORY/Docs/tutorials/README

echo ""
echo "Documentation created. To view, open ${DIRECTORY}/Docs/index.html"
echo ""