#!/bin/bash
echo starting mkdocs in $DOC_HOME
pushd $DOC_HOME
/usr/local/bin/mkdocs serve --dev-addr=0.0.0.0:8000 --watch-theme
popd