diff options
| author | de <de@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2005-11-18 22:09:58 +0000 |
|---|---|---|
| committer | de <de@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2005-11-18 22:09:58 +0000 |
| commit | 7e109d1b74eac3b33997a2e56a07c2b2dd62d6f2 (patch) | |
| tree | 64d5e9ae070cc6f31171a0c4a9cc1c144ab57c20 /cachegrind | |
| parent | 2c091b81b6d4a795281bce2f9cd86142f7f7c35f (diff) | |
Minor doc tweaks, mostly white space
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5201 a5019735-40e9-0310-863c-91ae7b9d1cf9
Diffstat (limited to 'cachegrind')
| -rw-r--r-- | cachegrind/docs/cg-manual.xml | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/cachegrind/docs/cg-manual.xml b/cachegrind/docs/cg-manual.xml index 52f63009..5b3f4796 100644 --- a/cachegrind/docs/cg-manual.xml +++ b/cachegrind/docs/cg-manual.xml @@ -289,11 +289,9 @@ file:</para> </itemizedlist> <para>The <computeroutput>.pid</computeroutput> suffix -on the output file name -serves -two purposes. Firstly, it means you don't have to rename old log -files that you don't want to overwrite. Secondly, and more -importantly, it allows correct profiling with the +on the output file name serves two purposes. Firstly, it means you +don't have to rename old log files that you don't want to overwrite. +Secondly, and more importantly, it allows correct profiling with the <computeroutput>--trace-children=yes</computeroutput> option of programs that spawn child processes.</para> |