From 03676d6f35790f5816183f7de8dd1ba60562416c Mon Sep 17 00:00:00 2001
From: Marius Bakke <mbakke@fastmail.com>
Date: Fri, 27 Jul 2018 03:32:53 +0200
Subject: [PATCH] gnu: dconf: Install GTK documentation.

* gnu/packages/gnome.scm (dconf)[native-inputs]: Add GTK-DOC.
[arguments]: Adjust #:configure-flags accordingly.
---
 gnu/packages/gnome.scm | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index f6c0a80c4a..389ea2ce85 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -2251,6 +2251,7 @@ (define-public dconf
        ("libxml2" ,libxml2)                     ;for XML_CATALOG_FILES
        ("docbook-xml" ,docbook-xml-4.2)
        ("docbook-xsl" ,docbook-xsl)
+       ("gtk-doc" ,gtk-doc)
        ("pkg-config" ,pkg-config)))
     (arguments
      `(#:tests? #f ; To contact dbus it needs to load /var/lib/dbus/machine-id
@@ -2259,7 +2260,7 @@ (define-public dconf
        ;; Set the correct RUNPATH in binaries.
        (list (string-append "LDFLAGS=-Wl,-rpath="
                             (assoc-ref %outputs "out") "/lib")
-             "--disable-gtk-doc-html"))) ; FIXME: requires gtk-doc
+             "--enable-gtk-doc")))
     (home-page "https://developer.gnome.org/dconf")
     (synopsis "Low-level GNOME configuration system")
     (description "Dconf is a low-level configuration system.  Its main purpose