diff options
Diffstat (limited to 'ci')
| -rwxr-xr-x | ci/test-documentation.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ci/test-documentation.sh b/ci/test-documentation.sh index bf23b2caea..58962d668a 100755 --- a/ci/test-documentation.sh +++ b/ci/test-documentation.sh @@ -9,7 +9,7 @@ make check-builtins make check-docs # Build docs with AsciiDoc -make doc +make --jobs=2 doc test -s Documentation/git.html test -s Documentation/git.xml test -s Documentation/git.1 @@ -17,6 +17,6 @@ grep '<meta name="generator" content="AsciiDoc ' Documentation/git.html # Build docs with AsciiDoctor make clean -make USE_ASCIIDOCTOR=1 doc +make --jobs=2 USE_ASCIIDOCTOR=1 doc test -s Documentation/git.html grep '<meta name="generator" content="Asciidoctor ' Documentation/git.html |