diff options
Diffstat (limited to 'man/update_links.sh')
-rwxr-xr-x | man/update_links.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/update_links.sh b/man/update_links.sh index b191cc6..3bccd0c 100755 --- a/man/update_links.sh +++ b/man/update_links.sh | |||
@@ -11,7 +11,7 @@ for i in `ls -1 *.3`; do | |||
11 | for j in $links; do | 11 | for j in $links; do |
12 | a=`echo "x$j" | tr '[:upper:]' '[:lower:]'` | 12 | a=`echo "x$j" | tr '[:upper:]' '[:lower:]'` |
13 | b=`echo "x$name" | tr '[:upper:]' '[:lower:]'` | 13 | b=`echo "x$name" | tr '[:upper:]' '[:lower:]'` |
14 | if [ $a != $b ]; then | 14 | if [[ $a != $b && $a != *"<type>"* ]]; then |
15 | echo $name.3,$j.3 >> links | 15 | echo $name.3,$j.3 >> links |
16 | fi | 16 | fi |
17 | done | 17 | done |