diff options
| author | Dan Gudmundsson <[email protected]> | 2016-02-22 09:46:32 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2016-02-22 09:46:32 +0100 |
| commit | 942aa912cd1f17a7a98fd98f9d39a1374bbac44d (patch) | |
| tree | 2e1720b24addd1e435c4c931ca52c4651d08cd5d /lib/observer/doc/src/part.xml | |
| parent | 83185e95fe92efb2431c1173ac16f26bd40217f7 (diff) | |
| parent | fb39a2dd41a5bb14e1f84935798e09ab3b747c85 (diff) | |
| download | otp-942aa912cd1f17a7a98fd98f9d39a1374bbac44d.tar.gz otp-942aa912cd1f17a7a98fd98f9d39a1374bbac44d.tar.bz2 otp-942aa912cd1f17a7a98fd98f9d39a1374bbac44d.zip | |
Merge remote-tracking branch 'upstream/maint'
* upstream/maint:
debugger: Editorial changes in documentation
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"/> |