diff options
| author | Hans Bolinder <[email protected]> | 2015-10-13 14:02:48 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2015-12-09 13:05:34 +0100 |
| commit | 3e0e79218065458b816cd726bd637f1ecd00a882 (patch) | |
| tree | 72b89dc87ae86251adfd9d504d2518e4614101cd /lib/observer/doc/src/observer_ug.xml | |
| parent | 646e1b9e6a836526865f15582bb22c600c54d26a (diff) | |
| download | otp-3e0e79218065458b816cd726bd637f1ecd00a882.tar.gz otp-3e0e79218065458b816cd726bd637f1ecd00a882.tar.bz2 otp-3e0e79218065458b816cd726bd637f1ecd00a882.zip | |
[observer] Correct documentation
Fix mistakes found by 'xmllint'.
Diffstat (limited to 'lib/observer/doc/src/observer_ug.xml')
| -rw-r--r-- | lib/observer/doc/src/observer_ug.xml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/observer/doc/src/observer_ug.xml b/lib/observer/doc/src/observer_ug.xml index 8388cb6736..ff30d70913 100644 --- a/lib/observer/doc/src/observer_ug.xml +++ b/lib/observer/doc/src/observer_ug.xml @@ -105,7 +105,7 @@ <note> <p><em>Reds</em> can be presented as accumulated values or as values since last update.</p> </note> - <p><c>Process info</c> open a detailed information window on the selected process. + <p><c>Process info</c> open a detailed information window on the selected process.</p> <taglist> <tag>Process Information</tag> <item>Shows the process information.</item> @@ -127,7 +127,6 @@ <c>rb</c> server will be stopped on the observed node when exiting or changing observed node. </p> </note> - </p> <p><c>Trace Processes</c> will add the selected process identifiers to the <c>Trace Overview</c> view and the node the processes reside on will be added as well. <c>Trace Named Processes</c> will add the registered name of processes. This can be useful |