mirror of
https://github.com/git/git.git
synced 2024-05-19 22:16:21 +02:00
a6e6976142
The documentation job without parallelization takes ~10min on TravisCI.
With parallelization ("--jobs=2") it takes ~6min.
Signed-off-by: Lars Schneider <larsxschneider@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
23 lines
505 B
Bash
Executable File
23 lines
505 B
Bash
Executable File
#!/bin/sh
|
|
#
|
|
# Perform sanity checks on documentation and build it.
|
|
#
|
|
|
|
set -e
|
|
|
|
make check-builtins
|
|
make check-docs
|
|
|
|
# Build docs with AsciiDoc
|
|
make --jobs=2 doc
|
|
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
|
|
test -s Documentation/git.html
|
|
grep '<meta name="generator" content="Asciidoctor ' Documentation/git.html
|