--- doc/libtool.texi.orig	Tue Nov  2 12:36:23 1999
+++ doc/libtool.texi	Wed Jul  2 18:18:37 2003
@@ -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,3 +15,3 @@
 @direntry
-* Libtool: (libtool).           Generic shared library support script.
+* Libtool13: (libtool13).           Generic shared library support script.
 @end direntry
@@ -20,3 +20,3 @@
 @direntry
-* libtoolize: (libtool)Invoking libtoolize.     Adding libtool support.
+* libtoolize13: (libtool13)Invoking libtoolize.     Adding libtool support.
 @end direntry
