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:35:58 -0500 |
| commit | 1ea79d2a9fec76720158499f208258a43f57dbd8 (patch) | |
| tree | 8d17ea1692bf219a7dec22e1085d9fe5a0251821 /man/update_links.sh | |
| parent | b78f2939398db49bb1dfabaa48529d11ae687e20 (diff) | |
| download | portable-1ea79d2a9fec76720158499f208258a43f57dbd8.tar.gz portable-1ea79d2a9fec76720158499f208258a43f57dbd8.tar.bz2 portable-1ea79d2a9fec76720158499f208258a43f57dbd8.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 | ||