diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/koma-script/doc/bin/genhtmlidx.pl')
-rw-r--r-- | Master/texmf-dist/source/latex/koma-script/doc/bin/genhtmlidx.pl | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/Master/texmf-dist/source/latex/koma-script/doc/bin/genhtmlidx.pl b/Master/texmf-dist/source/latex/koma-script/doc/bin/genhtmlidx.pl index d4f41542888..482b5759c3d 100644 --- a/Master/texmf-dist/source/latex/koma-script/doc/bin/genhtmlidx.pl +++ b/Master/texmf-dist/source/latex/koma-script/doc/bin/genhtmlidx.pl @@ -60,6 +60,8 @@ my @variable; my @pagestyle; my @counter; my @floatstyle; +my @fontelement; +my @file; my $baselink; my $htmlhead; @@ -86,9 +88,9 @@ while ( $auxfile=shift ) { $entry = "$3.$page.$1.$2"; if ( "$2" eq "option" ) { push @option,$entry; - } elsif ( "$2" eq "macro" ) { + } elsif ( "$2" eq "cmd" ) { push @macro,$entry; - } elsif ( "$2" eq "environment" ) { + } elsif ( "$2" eq "env" ) { push @environment,$entry; } elsif ( "$2" eq "plength" ) { push @plength,$entry; @@ -100,6 +102,10 @@ while ( $auxfile=shift ) { push @counter,$entry; } elsif ( "$2" eq "floatstyle" ) { push @floatstyle,$entry; + } elsif ( "$2" eq "fontelement" ) { + push @fontelement,$entry; + } elsif ( "$2" eq "package" ) { + push @file,$entry; } else { print STDERR "Unknown type $2!\n"; } @@ -145,6 +151,8 @@ print "<li><a href=\"#variable\">$titles{variable}</a></li>" if ( @variable ); print "<li><a href=\"#pagestyle\">$titles{pagestyle}</a></li>" if ( @pagestyle ); print "<li><a href=\"#counter\">$titles{counter}</a></li>" if ( @counter ); print "<li><a href=\"#floatstyle\">$titles{floatstyle}</a></li>" if ( @floatstyle ); +#print "<li><a href=\"#fontelement\">$titles{fontelement}</a></li>" if ( @fontelement ); +#print "<li><a href=\"#file\">$titles{file}</a></li>" if ( @fontelement ); print "</ul>\n"; process "option","",\@option; @@ -155,4 +163,6 @@ process "variable","",\@variable; process "pagestyle","",\@pagestyle; process "counter","",\@counter; process "floatstyle","",\@floatstyle; +#process "fontelement","",\@fontelement; +#process "file","",\@file; print $htmlend; |