diff options
Diffstat (limited to 'man/update_links.sh')
-rwxr-xr-x | man/update_links.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/man/update_links.sh b/man/update_links.sh index fe75640..0c83041 100755 --- a/man/update_links.sh +++ b/man/update_links.sh | |||
@@ -9,7 +9,9 @@ for i in `ls -1 *.3`; do | |||
9 | links=`sqlite3 /usr/share/man/mandoc.db \ | 9 | links=`sqlite3 /usr/share/man/mandoc.db \ |
10 | "select names.name from mlinks,names where mlinks.name='$name' and mlinks.pageid=names.pageid;"` | 10 | "select names.name from mlinks,names where mlinks.name='$name' and mlinks.pageid=names.pageid;"` |
11 | for j in $links; do | 11 | for j in $links; do |
12 | if [ "x$j" != "x$name" ]; then | 12 | a=`echo "x$j" | tr '[:upper:]' '[:lower:]'` |
13 | b=`echo "x$name" | tr '[:upper:]' '[:lower:]'` | ||
14 | if [ $a != $b ]; then | ||
13 | echo $name.3,$j.3 >> links | 15 | echo $name.3,$j.3 >> links |
14 | fi | 16 | fi |
15 | done | 17 | done |