--- doc/libtool.texi.orig	Mon Apr 14 22:10:10 2003
+++ doc/libtool.texi	Wed Jul  2 18:01:14 2003
@@ -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,3 +15,3 @@
 @direntry
-* Libtool: (libtool).           Generic shared library support script.
+* Libtool15: (libtool15).           Generic shared library support script.
 @end direntry
@@ -20,3 +20,3 @@
 @direntry
-* libtoolize: (libtool)Invoking libtoolize.     Adding libtool support.
+* libtoolize15: (libtool15)Invoking libtoolize.     Adding libtool support.
 @end direntry