diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2018-11-17 11:00:54 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2018-11-17 11:00:54 -0700 |
commit | fde00691054302b53783d14880ef015e8f81758b (patch) | |
tree | 323aae3f069791b9b9966ffdbf8fe3f5fc979cd6 /tests/tests/manpages-format | |
parent | 43faee259ac0418b98f0c973a794c21f47c9d1c1 (diff) | |
parent | bfb113c41cdc9bc875cec6f1c24f930e664e853e (diff) |
Merge tag 'debian/8.1' into stretch-bpo
dgit release 8.1 for unstable (sid) [dgit]
[dgit distro=debian]
# gpg: Signature made Wed 07 Nov 2018 07:11:36 PM MST
# gpg: using RSA key 559AE46C2D6B6D3265E7CBA1E3E3392348B50D39
# gpg: Can't check signature: No public key
Diffstat (limited to 'tests/tests/manpages-format')
-rwxr-xr-x | tests/tests/manpages-format | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/tests/manpages-format b/tests/tests/manpages-format index 7ba2f9d..e58da51 100755 --- a/tests/tests/manpages-format +++ b/tests/tests/manpages-format @@ -14,10 +14,10 @@ export MANWIDTH=80 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" } |