summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Jacobowitz <drow@false.org>2002-03-08 04:20:05 +0000
committerDaniel Jacobowitz <drow@false.org>2002-03-08 04:20:05 +0000
commit078dc9a6bac5800d0a9602055e37e9d59d71d88f (patch)
tree0776024d88ad35e79d66eb637039ce307b243af1
parenta45c4cf915abb1991a685a8eef9fca2c99ca9bca (diff)
downloadbinutils-gdb-078dc9a6bac5800d0a9602055e37e9d59d71d88f.tar.gz
2002-03-07 Daniel Jacobowitz <drow@mvista.com>
* gprof.texi: Wrap @menu in @ifnottex, not @ifinfo.
-rw-r--r--gprof/ChangeLog4
-rw-r--r--gprof/gprof.texi4
2 files changed, 6 insertions, 2 deletions
diff --git a/gprof/ChangeLog b/gprof/ChangeLog
index f7f5faed54f..21d262e5cff 100644
--- a/gprof/ChangeLog
+++ b/gprof/ChangeLog
@@ -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
diff --git a/gprof/gprof.texi b/gprof/gprof.texi
index b7e3388c70d..a1c6335333f 100644
--- a/gprof/gprof.texi
+++ b/gprof/gprof.texi
@@ -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