Merge branch 'bw/format-patch-o-create-leading-dirs'

[thirdparty/git.git] / ci / test-documentation.sh

diff --git a/ci/test-documentation.sh b/ci/test-documentation.sh
index d49089832de08f2fcefa1a8b2c45bb668964356a..b3e76ef8634820646f2e2fc4b4e9b5cc2d4b97ce 100755 (executable)
--- a/ci/test-documentation.sh
+++ b/ci/test-documentation.sh
@@ -8,6 +8,8 @@
 filter_log () {
        sed -e '/^GIT_VERSION = /d' \
            -e '/^    \* new asciidoc flags$/d' \
+           -e '/stripped namespace before processing/d' \
+           -e '/Attributed.*IDs for element/d' \
            "$1"
 }