diff options
| author | Dan Gudmundsson <[email protected]> | 2016-02-22 09:41:42 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2016-02-22 09:41:42 +0100 |
| commit | e4bbe3e6c0b6a5739d150a5cd2a67cc5adc260b4 (patch) | |
| tree | 237b5b9bfebb2d15c45e7ab8a7edd6f110e9a2dc /lib/observer/doc/src/part.xml | |
| parent | 63908f5313781e199476dc0def4eb0dcaa939d88 (diff) | |
| parent | e6b2edc8027c40db4c12f8f081648cda4634f9f7 (diff) | |
| download | otp-e4bbe3e6c0b6a5739d150a5cd2a67cc5adc260b4.tar.gz otp-e4bbe3e6c0b6a5739d150a5cd2a67cc5adc260b4.tar.bz2 otp-e4bbe3e6c0b6a5739d150a5cd2a67cc5adc260b4.zip | |
Merge branch 'dgud/observer/doc' into maint
* dgud/observer/doc:
Observer: Editorial changes in documentation
Diffstat (limited to 'lib/observer/doc/src/part.xml')
| -rw-r--r-- | lib/observer/doc/src/part.xml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/observer/doc/src/part.xml b/lib/observer/doc/src/part.xml index 27b4e93d2d..d8ec7664d9 100644 --- a/lib/observer/doc/src/part.xml +++ b/lib/observer/doc/src/part.xml @@ -29,9 +29,8 @@ <rev></rev> </header> <description> - <p>The <em>Observer</em> application contains tools for tracing - and investigation of distributed systems.</p> </description> + <xi:include href="introduction_ug.xml"/> <xi:include href="observer_ug.xml"/> <xi:include href="ttb_ug.xml"/> <xi:include href="etop_ug.xml"/> |