#!/bin/bash # # Build just our mdbook output # # This is an internal script, normally run by build-docs-local. # # nailing-cargo --- maint/build-mdbook set -e set -o pipefail function usage() { cat <