diff options
| author | David D. Zuhn <zoo@cygnus> | 1993-03-26 03:01:46 +0000 |
|---|---|---|
| committer | David D. Zuhn <zoo@cygnus> | 1993-03-26 03:01:46 +0000 |
| commit | 44c8c1d5651caf8cbaf292a8c5e8f56f52f92334 (patch) | |
| tree | dddd53573d45803eb790fe6b3450948f26b0ea1c /gprof/gprof.texi | |
| parent | f20c07d975fad3d3eb881a0ed2ae88928d316756 (diff) | |
| download | gdb-44c8c1d5651caf8cbaf292a8c5e8f56f52f92334.zip gdb-44c8c1d5651caf8cbaf292a8c5e8f56f52f92334.tar.gz gdb-44c8c1d5651caf8cbaf292a8c5e8f56f52f92334.tar.bz2 | |
add INFO-DIR-ENTRY
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. |