]> git.ipfire.org Git - thirdparty/binutils-gdb.git/commitdiff
2002-03-07 Daniel Jacobowitz <drow@mvista.com>
authorDaniel Jacobowitz <drow@false.org>
Fri, 8 Mar 2002 04:20:05 +0000 (04:20 +0000)
committerDaniel Jacobowitz <drow@false.org>
Fri, 8 Mar 2002 04:20:05 +0000 (04:20 +0000)
        * gprof.texi: Wrap @menu in @ifnottex, not @ifinfo.

gprof/ChangeLog
gprof/gprof.texi

index f7f5faed54fb7518ca2600ab3d2d9d74076fec54..21d262e5cff2155a5c9524a927dd9a95c2921763 100644 (file)
@@ -1,3 +1,7 @@
+2002-03-07  Daniel Jacobowitz  <drow@mvista.com>
+
+       * gprof.texi: Wrap @menu in @ifnottex, not @ifinfo.
+
 2002-02-10  Daniel Jacobowitz  <drow@mvista.com>
 
        * gprof.c: Include "getopt.h" after other includes, so that
index b7e3388c70d707913ae558a103b517d4c53ecb56..a1c6335333f5012a4a051d58a678edfcc391d936 100644 (file)
@@ -66,7 +66,7 @@ Copyright @copyright{} 1988, 92, 97, 98, 99, 2000 Free Software Foundation, Inc.
 
 @end titlepage
 
-@ifinfo
+@ifnottex
 @node Top
 @top Profiling a Program: Where Does It Spend Its Time?
 
@@ -94,7 +94,7 @@ section entitled "GNU Free Documentation License".
 * Details::             Details of how profiling is done
 * GNU Free Documentation License::  GNU Free Documentation License
 @end menu
-@end ifinfo
+@end ifnottex
 
 @node Introduction
 @chapter Introduction to Profiling