From 2144ca9f01d01b6de386d17ada73a288372ee553 Mon Sep 17 00:00:00 2001
From: Alfie John <alfie@alfie.wtf>
Date: Mon, 21 Jan 2019 04:47:05 +0000
Subject: [PATCH] Added option to build docs to docs

---
 docs/usermanual-install-harfbuzz.xml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/docs/usermanual-install-harfbuzz.xml b/docs/usermanual-install-harfbuzz.xml
index a885d00bb..a1e7ab012 100644
--- a/docs/usermanual-install-harfbuzz.xml
+++ b/docs/usermanual-install-harfbuzz.xml
@@ -423,6 +423,18 @@
 	    </para>
 	  </listitem>
 	</varlistentry>	
+
+	<varlistentry>
+	  <term><command>--enable-gtk-doc</command></term>
+	  <listitem>
+	    <para>
+	      Use <ulink url="https://www.gtk.org/gtk-doc/">GTK-Doc</ulink>. <emphasis>(Default = no)</emphasis>
+	    </para>
+	    <para>
+	      This option enables the building of the documentation.
+	    </para>
+	  </listitem>
+	</varlistentry>
       </variablelist>
     </section>