--- doc/libtool.texi.orig	Mon Jan 14 19:04:40 2002
+++ doc/libtool.texi	Wed Jul  2 18:11:10 2003
@@ -2,4 +2,4 @@
 @c %**start of header
-@setfilename libtool.info
-@settitle Libtool
+@setfilename libtool14.info
+@settitle Libtool14
 @c For double-sided printing, uncomment:
@@ -15,3 +15,3 @@
 @direntry
-* Libtool: (libtool).           Generic shared library support script.
+* Libtool14: (libtool14).           Generic shared library support script.
 @end direntry
@@ -20,3 +20,3 @@
 @direntry
-* libtoolize: (libtool)Invoking libtoolize.     Adding libtool support.
+* libtoolize14: (libtool14)Invoking libtoolize.     Adding libtool support.
 @end direntry
