gnu: dconf: Install GTK documentation.

* gnu/packages/gnome.scm (dconf)[native-inputs]: Add GTK-DOC.
[arguments]: Adjust #:configure-flags accordingly.
master
Marius Bakke 2018-07-27 03:32:53 +02:00
parent bc036f4c99
commit 03676d6f35
No known key found for this signature in database
GPG Key ID: A2A06DF2A33A54FA
1 changed files with 2 additions and 1 deletions

View File

@ -2251,6 +2251,7 @@ and RDP protocols.")
("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 @@ and RDP protocols.")
;; 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