git/ci/test-documentation.sh

15 lines
213 B
Bash
Raw Normal View History

#!/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