From: Richard Dawe <rich@phekda.freeserve.co.uk>
Date: Tue, 22 Apr 2003 04:57:10 +0000 (+0000)
Subject: * doc/libtool.texi: Use @ifnottex instead of @ifinfo,
X-Git-Tag: help~38
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c67e0b02be535b01cca6c5a06bab92416ec35c71;p=thirdparty%2Flibtool.git

* doc/libtool.texi: Use @ifnottex instead of @ifinfo,
to allow production of HTML documentation using makeinfo.
---

diff --git a/ChangeLog b/ChangeLog
index 201c61be0..a8d8e8641 100644
--- 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 760346949..d5ceba0c5 100644
--- 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