tools/docs-developer


1
2
3
4
5
6
7
8
9

#!/bin/bash -e

## tools/docs-developer
##
## Builds (and opens) the developer documentation.

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

mdbook serve --open docs/developer