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 0f2b2ba577166a9398ec9cbadc73046f8caa3955..03d5911e9050d88cdf026c854642a6c651b37b14 100644 (file)
--- a/doc/manual.xml.head
+++ b/doc/manual.xml.head
@@ -5897,22 +5897,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>