Index: doxygen/format_api.sh
===================================================================
--- doxygen/format_api.sh
+++ doxygen/format_api.sh	2011-03-28 20:47:29.000000000 +0200
@@ -9,7 +9,7 @@
 rm -fr sed
 cp refman.tex refman.tex.save
 cp doxygen.sty doxygen.sty.save
-cat refman.tex | sed "/File Index/,/input{files}/d" | sed "/File Documentation/,/include/d" | sed "/8c/d" | sed "/8h/d" > refman.sed
+cat refman.tex | sed "/File Documentation/d" | sed "/8c/d" | sed "/8h/d" > refman.sed
 cat doxygen.sty | sed "s/by Doxygen//g" > doxygen.sed
 mv refman.sed refman.tex
 mv doxygen.sed doxygen.sty