aboutsummaryrefslogtreecommitdiff
path: root/ci
diff options
context:
space:
mode:
authorLars Schneider <larsxschneider@gmail.com>2016-05-04 10:38:36 +0200
committerJunio C Hamano <gitster@pobox.com>2016-05-10 11:19:07 -0700
commitb98712b9aa97f20a142ca3fcfd027c7b26642e3b (patch)
tree548fdcb0afb7ddd66b99b47efa97ed09f000eaa8 /ci
parent90f7b16b3adc78d4bbabbd426fb69aa78c714f71 (diff)
downloadgit-b98712b9aa97f20a142ca3fcfd027c7b26642e3b.tar.gz
git-b98712b9aa97f20a142ca3fcfd027c7b26642e3b.tar.xz
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>
Diffstat (limited to 'ci')
-rwxr-xr-xci/test-documentation.sh14
1 files changed, 14 insertions, 0 deletions
diff --git a/ci/test-documentation.sh b/ci/test-documentation.sh
new file mode 100755
index 000000000..579d540d3
--- /dev/null
+++ b/ci/test-documentation.sh
@@ -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