diff options
author | Baptiste Daroussin <bapt@FreeBSD.org> | 2015-05-15 15:56:28 +0000 |
---|---|---|
committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2015-05-15 15:56:28 +0000 |
commit | d433cf9a8ae990f2928a340e9203001fc2d22f25 (patch) | |
tree | b80f0244ad11e17fb12fe0d2175acada0c8720f6 /usr.bin | |
parent | dd4fcbc5944aa3651ffaeb56a7f609e190ffc78c (diff) | |
download | src-d433cf9a8ae990f2928a340e9203001fc2d22f25.tar.gz src-d433cf9a8ae990f2928a340e9203001fc2d22f25.zip |
Notes
Diffstat (limited to 'usr.bin')
-rwxr-xr-x | usr.bin/man/man.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/usr.bin/man/man.sh b/usr.bin/man/man.sh index 8541784710dd..5e4d767a3064 100755 --- a/usr.bin/man/man.sh +++ b/usr.bin/man/man.sh @@ -311,8 +311,11 @@ man_display_page() { return fi + if [ -n "$use_width" ]; then + mandoc_args="-O width=${use_width}" + fi testline="mandoc -Tlint -Wunsupp 2>/dev/null" - pipeline="mandoc | $MANPAGER" + pipeline="mandoc $mandoc_args | $MANPAGER" if ! eval "$cattool $manpage | $testline" ;then if which -s groff; then |