diff options
Diffstat (limited to 'man/update_links.sh')
| -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 | ||