diff options
| author | Junio C Hamano <gitster@pobox.com> | 2017-05-16 11:51:55 +0900 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-05-16 11:51:55 +0900 |
| commit | c773da2e6385be73478c1833d3998afad6c5bfa2 (patch) | |
| tree | 4ed82d8cacf2285c8fedbb06821c904abcfb6c06 /ci | |
| parent | f0858342fe98eb16c598e8b7eadd0fad123a4cd9 (diff) | |
| parent | 505ad91304e1793ee588ccdcc2413c2e0af6f667 (diff) | |
| download | git-c773da2e6385be73478c1833d3998afad6c5bfa2.tar.gz | |
Merge branch 'ls/travis-doc-asciidoctor'
Travis CI gained a task to format the documentation with both
AsciiDoc and AsciiDoctor.
* ls/travis-doc-asciidoctor:
travis-ci: check AsciiDoc/AsciiDoctor stderr output
travis-ci: unset compiler for jobs that do not need one
travis-ci: parallelize documentation build
travis-ci: build documentation with AsciiDoc and Asciidoctor
Diffstat (limited to 'ci')
| -rwxr-xr-x | ci/test-documentation.sh | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/ci/test-documentation.sh b/ci/test-documentation.sh index 579d540d32..6214e6acb4 100755 --- a/ci/test-documentation.sh +++ b/ci/test-documentation.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash # # Perform sanity checks on documentation and build it. # @@ -7,8 +7,19 @@ set -e make check-builtins make check-docs -make doc +# 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 |