diff options
| author | Baptiste Daroussin <bapt@FreeBSD.org> | 2015-01-03 23:39:44 +0000 |
|---|---|---|
| committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2015-01-03 23:39:44 +0000 |
| commit | 0489fbcd3307c2452bbb1a72c217e1d5ba32ece2 (patch) | |
| tree | c60dcf2d691463dc2cbde2e61c6077942e8e08e6 /usr.bin/man | |
| parent | dad0c327199378206e5835d395e38d0566dc749e (diff) | |
Notes
Diffstat (limited to 'usr.bin/man')
| -rwxr-xr-x | usr.bin/man/man.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/usr.bin/man/man.sh b/usr.bin/man/man.sh index 86d6b14b86481..eb35b79c6a292 100755 --- a/usr.bin/man/man.sh +++ b/usr.bin/man/man.sh @@ -311,7 +311,7 @@ man_display_page() { return fi - testline="mandoc -Tlint -Werror 2>/dev/null" + testline="mandoc -Tlint -Wfatal 2>/dev/null" pipeline="mandoc | $MANPAGER" if ! eval "$cattool $manpage | $testline" ;then |