diff options
| author | bapt <bapt@FreeBSD.org> | 2015-05-15 15:56:28 +0000 |
|---|---|---|
| committer | bapt <bapt@FreeBSD.org> | 2015-05-15 15:56:28 +0000 |
| commit | 10d3fc444543b5fce71ff4770a3aebfcccac8574 (patch) | |
| tree | b80f0244ad11e17fb12fe0d2175acada0c8720f6 /usr.bin/man | |
| parent | 66e343b64f3953df5d61e5fca73787addcd3bbf4 (diff) | |
| download | FreeBSD-src-10d3fc444543b5fce71ff4770a3aebfcccac8574.zip FreeBSD-src-10d3fc444543b5fce71ff4770a3aebfcccac8574.tar.gz | |
Allow MANWIDTH to work with mandoc(1)
Reported by: bdrewery
Diffstat (limited to 'usr.bin/man')
| -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 8541784..5e4d767 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 |
