diff options
Diffstat (limited to 'ci/test-documentation.sh')
-rwxr-xr-x | ci/test-documentation.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ci/test-documentation.sh b/ci/test-documentation.sh index 3d62e6c95..a20de9ca1 100755 --- a/ci/test-documentation.sh +++ b/ci/test-documentation.sh @@ -18,6 +18,9 @@ test -s Documentation/git.xml test -s Documentation/git.1 grep '<meta name="generator" content="AsciiDoc ' Documentation/git.html +rm -f stdout.log stderr.log +check_unignored_build_artifacts + # Build docs with AsciiDoctor make clean make --jobs=2 USE_ASCIIDOCTOR=1 doc > >(tee stdout.log) 2> >(tee stderr.log >&2) @@ -26,4 +29,7 @@ sed '/^GIT_VERSION = / d' stderr.log test -s Documentation/git.html grep '<meta name="generator" content="Asciidoctor ' Documentation/git.html +rm -f stdout.log stderr.log +check_unignored_build_artifacts + save_good_tree |