--- 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