Andrew's git / gitweb.git / ci/test-documentation.sh
?
ci / test-documentation.shon commit try_remove_empty_parents(): teach to remove parents of reflogs, too (a8f0db2)
   1#!/bin/sh
   2#
   3# Perform sanity checks on documentation and build it.
   4#
   5
   6set -e
   7
   8make check-builtins
   9make check-docs
  10make doc
  11
  12test -s Documentation/git.html
  13test -s Documentation/git.xml
  14test -s Documentation/git.1