#!/bin/bash -e

cd "$(dirname "$0")/.."

## tools/build
##
## Converts the content in docs/ into a deployable website in site/

exec mkdocs build