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