doc/manual/tracing.texi
changeset 5426 7b36d173c490
parent 5231 04dec13d474f
child 5431 01a657b8d1ef
--- a/doc/manual/tracing.texi	Thu Oct 15 23:55:06 2009 -0700
+++ b/doc/manual/tracing.texi	Fri Oct 16 07:13:05 2009 -0700
@@ -13,13 +13,13 @@
 this is the tracing subsystem.
 
 @menu
-* Motivation::
+* Tracing Motivation::
 * Overview::
 * Using the Tracing API::
-* Implementation details::
+* Tracing implementation details::
 @end menu
 
-@node Motivation
+@node Tracing Motivation
 @section Motivation
 
 There are many ways to get information out of a program.  The most straightforward
@@ -324,5 +324,5 @@
 sinks. 
 @end itemize
 
-@node Implementation details
+@node Tracing implementation details
 @section Implementation details