Merge branch 'js/color-on-windows-comment' into maint
[git] / ci / test-documentation.sh
1 #!/bin/sh
2 #
3 # Perform sanity checks on documentation and build it.
4 #
5
6 set -e
7
8 make check-builtins
9 make check-docs
10 make doc
11
12 test -s Documentation/git.html
13 test -s Documentation/git.xml
14 test -s Documentation/git.1