travis-ci: build documentation

Build documentation as separate Travis CI job to check for
documentation errors.

Signed-off-by: Lars Schneider <larsxschneider@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
This commit is contained in:
Lars Schneider
2016-05-04 10:38:36 +02:00
committed by Junio C Hamano
parent 90f7b16b3a
commit b98712b9aa
2 changed files with 29 additions and 0 deletions

14
ci/test-documentation.sh Executable file
View File

@ -0,0 +1,14 @@
#!/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