travis-ci: retry if Git for Windows CI returns HTTP error 502 or 503
[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