#!/bin/bash set -e cd `dirname $0` docroot="./" banner_height=banner_height:15ex templates=$docroot"pandoc_templates" . $templates"/mkdocs.cfg"