diff --git a/doc/doxygen/sanitizelinks.sh b/doc/doxygen/sanitizelinks.sh
index afdd216f66c9310921d7ee747ea7213826857972..f23c1417bd50ac515cbdf71db756eda02913c623 100755
--- a/doc/doxygen/sanitizelinks.sh
+++ b/doc/doxygen/sanitizelinks.sh
@@ -1,6 +1,6 @@
 # sanitizes the links to the given lists, because doxygen somehow links
 # to a page with a wrong index
-function sanitizelinks {
+sanitizelinks () {
   NEW_FILE=`grep -l "\"title\">$1" html/*html | egrep -o [0-9]+`
   OLD_FILE=`awk -v a=$NEW_FILE 'BEGIN {printf("%05d", a-1)}'`
   sed -i "s/$OLD_FILE/$NEW_FILE/g" html/*html