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

to allow production of HTML documentation using makeinfo.
This commit is contained in:
Richard Dawe 2003-04-22 04:57:10 +00:00 committed by Robert Boehne
parent ed8b88b246
commit c67e0b02be
2 changed files with 9 additions and 4 deletions

View File

@ -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.

View File

@ -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