From: Richard Dawe Date: Tue, 22 Apr 2003 04:57:20 +0000 (+0000) Subject: * doc/libtool.texi: Use @ifnottex instead of @ifinfo, X-Git-Tag: release-1-5-2~60 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=61fc2f5a9cce453e67679b109ef3b2bfbd6ed446;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 33fc85f79..5d6450801 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-15 Robert Boehne * README-alpha: Updated upload instructions. diff --git a/doc/libtool.texi b/doc/libtool.texi index 9724b5826..98ce5ac7f 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-2003 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