diff options
-rwxr-xr-x | doc/scripts/gdoc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/scripts/gdoc b/doc/scripts/gdoc index 86dceb3c68..8705d8c099 100755 --- a/doc/scripts/gdoc +++ b/doc/scripts/gdoc @@ -430,6 +430,7 @@ sub output_tex { print "\n\n\\begin{function}\n"; print "\\functionTitle{". $func . "}\n"; + print "\\index{". $func . "}\n"; $type = $args{'functiontype'}; $type =~ s/_/\\_/g; @@ -518,6 +519,7 @@ sub output_enum_tex { print "\n\n\\begin{enum}\n"; $name =~ s/_/\\_/g; print "\\enumTitle{". $name . "}\n"; + print "\\index{". $name . "}\n"; print "\n\\begin{enumList}\n"; |