ci/test-documentation.sh

#!/bin/sh
#
# Perform sanity checks on documentation and build it.
#

set -e

make check-builtins
make check-docs
make doc

test -s Documentation/git.html
test -s Documentation/git.xml
test -s Documentation/git.1