#!/usr/bin/env bash # # Perform sanity checks on documentation and build it. # set -e make check-builtins make check-docs # Build docs with AsciiDoc make --jobs=2 doc > >(tee stdout.log) 2> >(tee stderr.log >&2) ! test -s stderr.log test -s Documentation/git.html test -s Documentation/git.xml test -s Documentation/git.1 grep '