diff options
Diffstat (limited to 'docs/gen-html-index')
-rw-r--r-- | docs/gen-html-index | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/gen-html-index b/docs/gen-html-index index c0001d7f60..7b36a191e3 100644 --- a/docs/gen-html-index +++ b/docs/gen-html-index @@ -79,7 +79,7 @@ sub make_link ($$) { sub make_links ($$@) { my ($dir,$base,@docs) = @_; my $idx = ''; - foreach my $of (sort { $a cmp $b } @docs) { + foreach my $of (sort { make_linktext($a) cmp make_linktext($b) } @docs) { $idx .= make_link($of,$base); } return $idx; |