tools/build


1
2
3
4
5
6
7
8
9

#!/bin/bash -e

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

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

exec mkdocs build