libtool documentation missing Index.html

[Carlo Marcelo Arenas Belon]

As can be seen by clicking on the HTML or HTML compressed (gzip tar) links
in : 

  http://www.gnu.org/software/libtool/manual/

funny enough is not a bug on gendocs.sh or the documentation itself as I
hadn't been able to reproduce it but probably just that the process was
executed on a case sensitive filesystem (maybe a MAC) and therefore blowed
away the documentation index (index.html) with the concept index (Index.html)

the following patch should prevent that to happen but just rebuilding the
documentation in a linux box would fix this for 2.2.10 without requiring
any patching.

Carlo
---
diff --git a/doc/libtool.texi b/doc/libtool.texi
index 914bd1d..79dbaf7 100644
--- a/doc/libtool.texi
+++ b/doc/libtool.texi
@@ -99,7 +99,7 @@ GNU Libtool.
 * Troubleshooting::             When libtool doesn't work as advertised.
 * Maintaining::                 Information used by the libtool maintainer.
 * GNU Free Documentation License:: License for this manual.
-* Index::                       Full index.
+* Full Index::                  Full index.
 
 @detailmenu
  --- The Detailed Node Listing ---
@@ -6359,8 +6359,8 @@ order to test new changes without having to rerun 
@code{configure}.
 @include fdl.texi
 
 @page
address@hidden Index
address@hidden Index
address@hidden Full Index
address@hidden Full Index
 
 @printindex cp