summaryrefslogtreecommitdiff
path: root/gnu/packages
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2015-11-01 17:49:51 +0100
committerLudovic Courtès <ludo@gnu.org>2015-11-01 17:56:48 +0100
commitdaa3b04cd8020e365d3c551bc498363a284f5acf (patch)
tree7666adbc7045a894028428b171fe69b0e0a5677a /gnu/packages
parent35263cd8627b296c3badc21de355b4fe613d7cd4 (diff)
gnu: udisks: Separate HTML documentation.
* gnu/packages/freedesktop.scm (udisks)[outputs]: New field. [arguments]: Pass the --with-html-dir configure flag.
Diffstat (limited to 'gnu/packages')
-rw-r--r--gnu/packages/freedesktop.scm5
1 files changed, 5 insertions, 0 deletions
diff --git a/gnu/packages/freedesktop.scm b/gnu/packages/freedesktop.scm
index 28e9001384..28883d1e99 100644
--- a/gnu/packages/freedesktop.scm
+++ b/gnu/packages/freedesktop.scm
@@ -345,12 +345,17 @@ Analysis and Reporting Technology) functionality.")
("libgudev" ,libgudev)
("polkit" ,polkit)
("util-linux" ,util-linux)))
+ (outputs '("out"
+ "doc")) ;5 MiB of gtk-doc HTML
(arguments
`(#:tests? #f ; requiring system message dbus
#:configure-flags
(list "--disable-man"
"--localstatedir=/var"
"--enable-fhs-media" ;mount devices in /media, not /run/media
+ (string-append "--with-html-dir="
+ (assoc-ref %outputs "doc")
+ "/share/doc/udisks/html")
(string-append "--with-udevdir=" %output "/lib/udev"))
#:phases
(modify-phases %standard-phases