--- doc/libtool.texi.orig	Tue Nov  2 12:36:23 1999
+++ doc/libtool.texi	Thu Oct 14 20:24:50 2004
@@ -2,4 +2,4 @@
 @c %**start of header
-@setfilename libtool.info
-@settitle Libtool
+@setfilename libtool13.info
+@settitle Libtool13
 @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.
+* Libtool13: (libtool13).           Generic shared library support script.
 @end direntry