more common looking title

svn: r14365 original commit: 1fca4a4a4966b28c51f4011dd6fbc71b48bce182
2009-03-30 21:12:33 +00:00 · 2009-03-30 21:12:33 +00:00 · 799e0d9364
commit 799e0d9364
parent 07ae3cfac2
1 changed files with 1 additions and 1 deletions
--- a/collects/profile/scribblings/profile.scrbl
+++ b/collects/profile/scribblings/profile.scrbl
@ -3,7 +3,7 @@
@(require scribble/manual
          (for-label scheme))

-@title{Statistical Profiler}
+@title{@bold{Profile}: Statistical Profiler}

 The @scheme[profile] collection implements a statistical profiler.
 The profiling is done by running a background thread that collects