diff options
Diffstat (limited to '')
-rwxr-xr-x | man/update_links.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/update_links.sh b/man/update_links.sh index 04a8694..06790e4 100755 --- a/man/update_links.sh +++ b/man/update_links.sh | |||
@@ -16,4 +16,4 @@ | |||
16 | makewhatis -a . | 16 | makewhatis -a . |
17 | 17 | ||
18 | echo "# This is an auto-generated file by $0" > links | 18 | echo "# This is an auto-generated file by $0" > links |
19 | /usr/src/regress/usr.bin/mandoc/db/mlinks/obj/mlinks mandoc.db | sort >> links | 19 | /usr/src/regress/usr.bin/mandoc/db/mlinks/obj/mlinks mandoc.db | sort | grep -v OCSP_crlID_new >> links |