diff options
author | Daniel Jacobowitz <dan@debian.org> | 2002-03-08 04:20:05 +0000 |
---|---|---|
committer | Daniel Jacobowitz <dan@debian.org> | 2002-03-08 04:20:05 +0000 |
commit | 531ffbc998309142573ec98f7a67894115bb5c53 (patch) | |
tree | 0776024d88ad35e79d66eb637039ce307b243af1 | |
parent | e4a692ed9f30c43326b32830bc95c433ea993220 (diff) | |
download | binutils-redhat-531ffbc998309142573ec98f7a67894115bb5c53.tar.gz |
2002-03-07 Daniel Jacobowitz <drow@mvista.com>
* gprof.texi: Wrap @menu in @ifnottex, not @ifinfo.
-rw-r--r-- | gprof/ChangeLog | 4 | ||||
-rw-r--r-- | gprof/gprof.texi | 4 |
2 files changed, 6 insertions, 2 deletions
diff --git a/gprof/ChangeLog b/gprof/ChangeLog index f7f5faed54..21d262e5cf 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 b7e3388c70..a1c6335333 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 |