diff options
| author | Daniel Jacobowitz <drow@false.org> | 2002-03-08 04:24:19 +0000 |
|---|---|---|
| committer | Daniel Jacobowitz <drow@false.org> | 2002-03-08 04:24:19 +0000 |
| commit | 913b4d4b74b60d04ddb1966bb3e0aa8a32912231 (patch) | |
| tree | f779ef11c1becab476de7869c18ed25972844f68 /gprof/gprof.texi | |
| parent | 2e64b66588301f15138d5c2943a93973a78c96df (diff) | |
| download | gdb-913b4d4b74b60d04ddb1966bb3e0aa8a32912231.zip gdb-913b4d4b74b60d04ddb1966bb3e0aa8a32912231.tar.gz gdb-913b4d4b74b60d04ddb1966bb3e0aa8a32912231.tar.bz2 | |
2002-03-07 Daniel Jacobowitz <drow@mvista.com>
* gprof.texi: Wrap @menu in @ifnottex, not @ifinfo.
Diffstat (limited to 'gprof/gprof.texi')
| -rw-r--r-- | gprof/gprof.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gprof/gprof.texi b/gprof/gprof.texi index b7e3388..a1c6335 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 |