diff options
| author | Baptiste Daroussin <bapt@FreeBSD.org> | 2015-09-19 16:00:50 +0000 |
|---|---|---|
| committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2015-09-19 16:00:50 +0000 |
| commit | 449a792dd50054d9c04bf7097a1851f3fdaf32be (patch) | |
| tree | f2e17d7ec5494efdabe23007e32bf9846ef287cf /usr.bin/man | |
| parent | 6861045bdaa39075ab8dd7b49c73c779d8744bae (diff) | |
Notes
Diffstat (limited to 'usr.bin/man')
| -rwxr-xr-x | usr.bin/man/man.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/usr.bin/man/man.sh b/usr.bin/man/man.sh index e125e5be3f85..094ea11c10a3 100755 --- a/usr.bin/man/man.sh +++ b/usr.bin/man/man.sh @@ -315,7 +315,11 @@ man_display_page() { mandoc_args="-O width=${use_width}" fi testline="mandoc -Tlint -Wunsupp 2>/dev/null" - pipeline="mandoc $mandoc_args | $MANPAGER" + if [ -n "$tflag" ]; then + pipeline="mandoc -Tps $mandoc_args" + else + pipeline="mandoc $mandoc_args | $MANPAGER" + fi if ! eval "$cattool $manpage | $testline" ;then if which -s groff; then |