diff options
| author | Brent Cook <bcook@openbsd.org> | 2018-06-16 21:35:58 -0500 |
|---|---|---|
| committer | Brent Cook <bcook@openbsd.org> | 2018-06-16 21:36:39 -0500 |
| commit | a20212a151d823fd8565df83fa559cacefaacae5 (patch) | |
| tree | 7991eef1566312e3b299b18038a666242b7a7620 /man/update_links.sh | |
| parent | 83e56b7dbd2033b23615bd1eac70128cacff0702 (diff) | |
| download | portable-a20212a151d823fd8565df83fa559cacefaacae5.tar.gz portable-a20212a151d823fd8565df83fa559cacefaacae5.tar.bz2 portable-a20212a151d823fd8565df83fa559cacefaacae5.zip | |
avoid duplicate link with bn_print/BN_print
Diffstat (limited to '')
| -rwxr-xr-x | man/update_links.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/man/update_links.sh b/man/update_links.sh index 06790e4..e72f03d 100755 --- a/man/update_links.sh +++ b/man/update_links.sh | |||
| @@ -15,5 +15,10 @@ | |||
| 15 | 15 | ||
| 16 | makewhatis -a . | 16 | makewhatis -a . |
| 17 | 17 | ||
| 18 | # We have to filter out some links that fail on case-insensitive filesystems | ||
| 19 | # Running makewhatis with the right arguments should work on mandoc systems. | ||
| 18 | echo "# This is an auto-generated file by $0" > links | 20 | echo "# This is an auto-generated file by $0" > links |
| 19 | /usr/src/regress/usr.bin/mandoc/db/mlinks/obj/mlinks mandoc.db | sort | grep -v OCSP_crlID_new >> links | 21 | /usr/src/regress/usr.bin/mandoc/db/mlinks/obj/mlinks mandoc.db | \ |
| 22 | grep -v OCSP_crlID_new | \ | ||
| 23 | grep -v bn_print | \ | ||
| 24 | sort >> links | ||