mirror of
https://github.com/git/git
synced 2024-07-16 10:38:05 +00:00
505ad91304
`make` does not necessarily fail with an error code if Asciidoc/AsciiDoctor encounters problems. Anything written to stderr might be a better indicator for problems. Ensure that nothing is written to stderr during a documentation build. The redirects do not work in `sh`, therefore the script uses `bash`. This shouldn't be a problem as the script is only executed on TravisCI. Signed-off-by: Lars Schneider <larsxschneider@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
26 lines
684 B
Bash
Executable file
26 lines
684 B
Bash
Executable file
#!/usr/bin/env bash
|
|
#
|
|
# Perform sanity checks on documentation and build it.
|
|
#
|
|
|
|
set -e
|
|
|
|
make check-builtins
|
|
make check-docs
|
|
|
|
# Build docs with AsciiDoc
|
|
make --jobs=2 doc > >(tee stdout.log) 2> >(tee stderr.log >&2)
|
|
! test -s stderr.log
|
|
test -s Documentation/git.html
|
|
test -s Documentation/git.xml
|
|
test -s Documentation/git.1
|
|
grep '<meta name="generator" content="AsciiDoc ' Documentation/git.html
|
|
|
|
# Build docs with AsciiDoctor
|
|
make clean
|
|
make --jobs=2 USE_ASCIIDOCTOR=1 doc > >(tee stdout.log) 2> >(tee stderr.log >&2)
|
|
sed '/^GIT_VERSION = / d' stderr.log
|
|
! test -s stderr.log
|
|
test -s Documentation/git.html
|
|
grep '<meta name="generator" content="Asciidoctor ' Documentation/git.html
|