aboutsummaryrefslogtreecommitdiff
path: root/gprof/gprof.texi
diff options
context:
space:
mode:
Diffstat (limited to 'gprof/gprof.texi')
-rw-r--r--gprof/gprof.texi4
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