--- doc/libtool.texi.orig	Fri Jan 23 06:05:27 2004
+++ doc/libtool.texi	Thu Oct 14 20:26:28 2004
@@ -2,4 +2,4 @@
 @c %**start of header
-@setfilename libtool.info
-@settitle Libtool
+@setfilename libtool15.info
+@settitle Libtool15
 @c For double-sided printing, uncomment:
@@ -15,8 +15,3 @@
 @direntry
-* Libtool: (libtool).           Generic shared library support script.
-@end direntry
-
-@dircategory Individual utilities
-@direntry
-* libtoolize: (libtool)Invoking libtoolize.     Adding libtool support.
+* Libtool15: (libtool15).           Generic shared library support script.
 @end direntry