ci / test-documentation.shon commit docs/diff-options: clarify scope of diff-filter types (46af107)
   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