run_man () {
if [ "x${DGIT_MANPAGES_SOURCE_DIR}" = x ]; then
- cmd='man "$@" $section $page'
+ cmd='man --warnings "$@" $section $page'
else
make $roff >&2
- cmd='man "$@" -l $roff'
+ cmd='man --warnings "$@" -l $roff'
fi
eval "$cmd 2>&1 >/dev/null |tee $errs"
}