Lint manual pages

As we generate manual pages from DocBook 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 linting level was
set for mandoc to '-Werror' to ignore warnings and style issues, only
errors are reported.

(cherry picked from commit 22fdcb30db28c7f8f007640096459b3900473ad1)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e9596fcf6c7647f410bb1542de572aab5a5ebf83..f02a820d8aa22ea3557b9bd95fcb84a48af7f2a6 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -536,6 +536,7 @@ docs:
     - make -C doc/misc docbook
     - make -C doc/arm Bv9ARM.html
     - qpdf --check doc/arm/Bv9ARM.pdf
+    - find bin/ lib/ isc-config.sh.1 -not -path "bin/tests/*" -name "*.[0-9]" -exec mandoc -T lint -Werror "{}" \;
   needs:
     - job: autoreconf
       artifacts: true