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 '