- - if ! git diff --exit-code --ignore-matching-lines "^.Dd" share/man/man5/src.conf.5; then printf "\n>>> src.conf.5 was not updated as required <<<\n"; false; fi
+ - (su user -c "make makeman" 2> /tmp/makeman.out); cat /tmp/makeman.out
+ - if ! su user -c 'git diff --exit-code --ignore-matching-lines "^.Dd" share/man/man5/src.conf.5'; then printf "\n>>> src.conf.5 was not updated as required <<<\n"; false; fi
- if grep -q "no description found" /tmp/makeman.out; then printf "\n>>> Missing description files <<<\n"; false; fi