diff options
Diffstat (limited to 'gprof/gprof.texi')
| -rw-r--r-- | gprof/gprof.texi | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gprof/gprof.texi b/gprof/gprof.texi index 81d5f0f..8bc7af8 100644 --- a/gprof/gprof.texi +++ b/gprof/gprof.texi @@ -2,6 +2,17 @@ @setfilename gprof.info @settitle GNU gprof @setchapternewpage odd + +@ifinfo +@c This is a dir.info fragment to support semi-automated addition of +@c manuals to an info tree. zoo@cygnus.com is developing this facility. +@format +START-INFO-DIR-ENTRY +* gprof:: Profiling your program's execution +END-INFO-DIR-ENTRY +@end format +@end ifinfo + @ifinfo This file documents the gprof profiler of the GNU system. |