diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 571052d31c..4ab1568f1a 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -509,13 +509,12 @@ stages: stage: docs script: - *configure - - meson compile -C build arm arm-epub man - - find build/man/ -maxdepth 2 -name "*.[0-9]" -exec mandoc -T lint "{}" \; | ( ! grep -v -e "skipping paragraph macro. sp after" -e "unknown font, skipping request. ft C" -e "input text line longer than 80 bytes" ) - test -z "${DOC_CHECK_MISC_CHANGE}" || ninja -C build doc-misc - test -z "${DOC_CHECK_MISC_CHANGE}" || cp build/doc/misc/options build/doc/misc/rndc.grammar build/doc/misc/*.zoneopt doc/misc/ - test -z "${DOC_CHECK_MISC_CHANGE}" || git diff > doc-misc.patch - test -z "${DOC_CHECK_MISC_CHANGE}" || if test "$(git status --porcelain --untracked-files=no | wc -l)" -gt "0"; then git status --short; exit 1; fi - + - meson compile -C build arm arm-epub man + - find build/man/ -maxdepth 2 -name "*.[0-9]" -exec mandoc -T lint "{}" \; | ( ! grep -v -e "skipping paragraph macro. sp after" -e "unknown font, skipping request. ft C" -e "input text line longer than 80 bytes" ) .respdiff: &respdiff_job stage: system