diff options
-rwxr-xr-x | doc/scripts/gdoc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/scripts/gdoc b/doc/scripts/gdoc index 0bca42922d..81d6eeb887 100755 --- a/doc/scripts/gdoc +++ b/doc/scripts/gdoc @@ -352,6 +352,7 @@ sub output_texinfo { my $count; print "\@subheading ".$args{'function'}."\n"; + print "\@anchor{".$args{'function'}."}\n"; print "\@deftypefun {" . $args{'functiontype'} . "} "; print "{".$args{'function'}."} "; print "("; |