Gary V. Vaughan e3b973b8e1 manual: web-manual index.html clashes with @node Index.
* doc/libtool.texi (Index): Renamed to `Combined Index'.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>
2010-09-22 23:25:35 +07:00
..
2008-11-10 21:40:39 +01:00