diff options
-rw-r--r-- | gprof/ChangeLog | 4 | ||||
-rw-r--r-- | gprof/gprof.texi | 11 |
2 files changed, 15 insertions, 0 deletions
diff --git a/gprof/ChangeLog b/gprof/ChangeLog index 7ec5a1f..0517907 100644 --- a/gprof/ChangeLog +++ b/gprof/ChangeLog @@ -1,3 +1,7 @@ +Thu Mar 25 19:00:37 1993 david d `zoo' zuhn (zoo at cirdan.cygnus.com) + + * gprof.texi: add INFO-DIR-ENTRY + Tue Mar 23 00:03:11 1993 david d `zoo' zuhn (zoo at cirdan.cygnus.com) * Makefile.in: add installcheck target 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. |