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;