diff options
Diffstat (limited to 'man/update_links.sh')
| -rwxr-xr-x | man/update_links.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/man/update_links.sh b/man/update_links.sh index e72f03d..088eb2b 100755 --- a/man/update_links.sh +++ b/man/update_links.sh | |||
| @@ -21,4 +21,5 @@ echo "# This is an auto-generated file by $0" > links | |||
| 21 | /usr/src/regress/usr.bin/mandoc/db/mlinks/obj/mlinks mandoc.db | \ | 21 | /usr/src/regress/usr.bin/mandoc/db/mlinks/obj/mlinks mandoc.db | \ |
| 22 | grep -v OCSP_crlID_new | \ | 22 | grep -v OCSP_crlID_new | \ |
| 23 | grep -v bn_print | \ | 23 | grep -v bn_print | \ |
| 24 | grep -v "<type>" | \ | ||
| 24 | sort >> links | 25 | sort >> links |