diff options
Diffstat (limited to 'documentation/profile-manual/profile-manual-arch.xml')
| -rw-r--r-- | documentation/profile-manual/profile-manual-arch.xml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/documentation/profile-manual/profile-manual-arch.xml b/documentation/profile-manual/profile-manual-arch.xml index a0ea3b2d0d..19d1155229 100644 --- a/documentation/profile-manual/profile-manual-arch.xml +++ b/documentation/profile-manual/profile-manual-arch.xml @@ -32,12 +32,12 @@ </itemizedlist> </para> - <note> - Tying It Together: Rather than enumerating here how each tool makes use of + <informalexample> + <emphasis>Tying it Together:</emphasis> Rather than enumerating here how each tool makes use of these common mechanisms, textboxes like this will make note of the specific usages in each tool as they come up in the course of the text. - </note> + </informalexample> </section> </chapter> <!-- |