Index: doc/index.html =================================================================== --- doc/index.html (revision 6e3c36b7b5569c94c22981a5a5d3b76c79d146e3) +++ doc/index.html (revision f2cd6a1a8d6402e8ffce00ba8c9b2de0d7c5e9d7) @@ -9,15 +9,15 @@
Index: doc/tools/texi2www/texi2www =================================================================== --- doc/tools/texi2www/texi2www (revision 6e3c36b7b5569c94c22981a5a5d3b76c79d146e3) +++ doc/tools/texi2www/texi2www (revision f2cd6a1a8d6402e8ffce00ba8c9b2de0d7c5e9d7) @@ -117,5 +117,5 @@ } else { if ($n eq 'Top') { - $lookup{"$p$n"}= "Top.html"; + $lookup{"$p$n"}= "index.html"; return $lookup{"$p$n"}; } elsif ($n) {