diff options
| author | Alexander Ziaee <concussious@runbox.com> | 2024-06-10 04:04:51 +0000 |
|---|---|---|
| committer | Warner Losh <imp@FreeBSD.org> | 2024-06-28 00:34:33 +0000 |
| commit | a85d870007e7dd94242a2084dbb750438332ac1e (patch) | |
| tree | 59afd7eed6e7e49a5fc4a5457a6627674629b187 /usr.bin/man | |
| parent | 088cc7d221bb0743fc5ec12de983559b812366bd (diff) | |
Diffstat (limited to 'usr.bin/man')
| -rwxr-xr-x | usr.bin/man/man.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/usr.bin/man/man.sh b/usr.bin/man/man.sh index 7461153942f5..f4037ed92215 100755 --- a/usr.bin/man/man.sh +++ b/usr.bin/man/man.sh @@ -36,9 +36,6 @@ ulimit -t 20 # do not ignore the exit status of roff tools set -o pipefail -# ignore SIGPIPE exits because pagers may exit before reading all their input. -trap '' SIGPIPE - # Usage: add_to_manpath path # Adds a variable to manpath while ensuring we don't have duplicates. # Returns true if we were able to add something. False otherwise. |