doc: check for installed patches

diff --git a/doc/manual.xml.head b/doc/manual.xml.head
index 8b7cc42a10ab4cdc58f0a45d0fb9e0868b207d43..1293215125d0ef1491c3d445af9c96bad1dbf620 100644 (file)
--- a/doc/manual.xml.head
+++ b/doc/manual.xml.head
@@ -8095,6 +8095,16 @@ would contain:
 
 </sect2>
 
+<sect2 id="mutt-patches">
+<title>Mutt Patches</title>
+<para>
+Mutt may also be <quote>patched</quote> to support smaller features.
+These patches should add a free-form string to the end Mutt's version string.
+Running <literal>mutt -v</literal> might show:
+<screen>patch-1.6.1.sidebar.20160502</screen>
+</para>
+</sect2>
+
 <sect2 id="url-syntax">
 <title>URL Syntax</title>