diff options
| -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 86d6b14b8648..eb35b79c6a29 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 |