Lint manual pages

As we generate manual pages from reStructuredText sources, we don't have
absolute control on manual page output and therefore 'mandoc -Tlint' may
always report warnings we can't eliminate. In light of this some mandoc
warnings need to be ignored.

(cherry picked from commit 22fdcb30db28c7f8f007640096459b3900473ad1)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c7c8700a49a97ef6e02a9569c7d276d1b7c5a681..9e3f1cc843b43f6ce6f463fe6697b586c4098aad 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -537,6 +537,7 @@ docs:
     - make -j${BUILD_PARALLEL_JOBS:-1} doc V=1
     - if test "$(git status --porcelain | grep -Ev '\?\?' | grep -v -F -e aclocal.m4 -e configure -e ltmain.sh -e m4/ | wc -l)" -gt "0"; then git status --short; exit 1; fi
     - qpdf --check doc/arm/_build/latex/Bv9ARM.pdf
+    - find doc/man/ -maxdepth 1 -name "*.[0-9]" -exec mandoc -T lint "{}" \; | ( ! grep -v -e "skipping paragraph macro. sp after" -e "unknown font, skipping request. ft C" )
   needs:
     - job: autoreconf
       artifacts: true