diff options
Diffstat (limited to 'ci/test-documentation.sh')
| -rwxr-xr-x | ci/test-documentation.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ci/test-documentation.sh b/ci/test-documentation.sh index 7a0a848e8..3d62e6c95 100755 --- a/ci/test-documentation.sh +++ b/ci/test-documentation.sh @@ -25,3 +25,5 @@ sed '/^GIT_VERSION = / d' stderr.log ! test -s stderr.log test -s Documentation/git.html grep '<meta name="generator" content="Asciidoctor ' Documentation/git.html + +save_good_tree |