In the manual, replaced 2 para by example (similar to the first example).

diff --git a/doc/manual.xml.head b/doc/manual.xml.head
index 80cfd578759afee47f0a5d496aeab5b5518c7545..4f6c7c2d078a35956470e9cac2aee6b98a6b280e 100644 (file)
--- a/doc/manual.xml.head
+++ b/doc/manual.xml.head
@@ -5204,22 +5204,24 @@ defined with the "@" modifier.  This example matches messages whose
 recipients are all from Germany, and who are known to your alias list.
 </para>
 
-<para>
+<example id="ex-restrict-to-aliases">
+<title>Matching restricted to aliases</title>
 <screen>
 ^@~C \.de$
 </screen>
-</para>
+</example>
 
 <para>
 To match any defined alias, use a regular expression that matches any
 string.  This example matches messages whose senders are known aliases.
 </para>
 
-<para>
+<example id="ex-match-alias">
+<title>Matching any defined alias</title>
 <screen>
 @~f .
 </screen>
-</para>
+</example>
 
 </sect2>