* doc/libtool.texi: Use @ifnottex instead of @ifinfo,

to allow production of HTML documentation using makeinfo.

diff --git a/ChangeLog b/ChangeLog
index 201c61be0434299feb96ab7ba9600d1e5c364cd3..a8d8e86410876aa412a825701abe08439b252830 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2003-04-21  Richard Dawe  <rich@phekda.freeserve.co.uk>
+
+       * doc/libtool.texi: Use @ifnottex instead of @ifinfo,
+       to allow production of HTML documentation using makeinfo.
+
 2003-04-14  Robert Boehne  <rboehne@gnu.org>
 
        * NEWS: Updated.

diff --git a/doc/libtool.texi b/doc/libtool.texi
index 760346949506917d622ad3f03c9a2ad293eeab10..d5ceba0c5a6d9c31719ce811b6409e66b930ec08 100644 (file)
--- a/doc/libtool.texi
+++ b/doc/libtool.texi
@@ -21,7 +21,7 @@
 * libtoolize: (libtool)Invoking libtoolize.     Adding libtool support.
 @end direntry
 
-@ifinfo
+@ifnottex
 This file documents GNU Libtool @value{VERSION}
 
 Copyright (C) 1996-2000 Free Software Foundation, Inc.
@@ -39,7 +39,7 @@ results, provided the printed document carries copying permission notice
 identical to this one except for the removal of this paragraph
 
 @end ignore
-@end ifinfo
+@end ifnottex
 
 @titlepage
 @title GNU Libtool
@@ -68,7 +68,7 @@ the section entitled "GNU Free Documentation License".
 @syncodeindex tp cp
 @synindex pg cp
 
-@ifinfo
+@ifnottex
 @node Top, Introduction, (dir), (dir)
 @comment  node-name,  next,  previous,  up
 @top Shared library support for GNU
@@ -208,7 +208,7 @@ Platform quirks
 @end detailmenu
 @end menu
 
-@end ifinfo
+@end ifnottex
 
 @node Introduction
 @chapter Introduction