diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 03d6ae6cb4..d19b25a048 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -545,6 +545,7 @@ docs: - *configure - make -j${BUILD_PARALLEL_JOBS:-1} -k doc V=1 - 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 diff --git a/doc/man/Makefile.am b/doc/man/Makefile.am index d363e35355..a62ca2c4cc 100644 --- a/doc/man/Makefile.am +++ b/doc/man/Makefile.am @@ -147,6 +147,8 @@ man_SUBST = \ .NOTPARALLEL: man man: Makefile $(man_MANS) +doc-local: man + clean-local:: -rm -rf $(SPHINXBUILDDIR)