Manual: Add user-defined variables to variable types

diff --git a/doc/manual.xml.head b/doc/manual.xml.head
index 35be9640a67a4e129bc3c3920931c8002a853ac9..f1d3c4c14f6fa2f577a3e46a1794853f18674095 100644 (file)
--- a/doc/manual.xml.head
+++ b/doc/manual.xml.head
@@ -3794,6 +3794,14 @@ form is supported but strongly deprecated.
 </para>
 </listitem>
 </varlistentry>
+<varlistentry>
+<term>user-defined</term>
+<listitem>
+<para>
+Arbitrary text, see <xref linkend="set-myvar"/> for details.
+</para>
+</listitem>
+</varlistentry>
 </variablelist>
 
 </sect2>