From c67e0b02be535b01cca6c5a06bab92416ec35c71 Mon Sep 17 00:00:00 2001 From: Richard Dawe Date: Tue, 22 Apr 2003 04:57:10 +0000 Subject: [PATCH] * doc/libtool.texi: Use @ifnottex instead of @ifinfo, to allow production of HTML documentation using makeinfo. --- ChangeLog | 5 +++++ doc/libtool.texi | 8 ++++---- 2 files changed, 9 insertions(+), 4 deletions(-) diff --git a/ChangeLog b/ChangeLog index 201c61be..a8d8e864 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2003-04-21 Richard Dawe + + * doc/libtool.texi: Use @ifnottex instead of @ifinfo, + to allow production of HTML documentation using makeinfo. + 2003-04-14 Robert Boehne * NEWS: Updated. diff --git a/doc/libtool.texi b/doc/libtool.texi index 76034694..d5ceba0c 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