diff options
Diffstat (limited to 'ci/test-documentation.sh')
| -rwxr-xr-x | ci/test-documentation.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/ci/test-documentation.sh b/ci/test-documentation.sh new file mode 100755 index 0000000000..579d540d32 --- /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 |