gnu: udisks: Separate HTML documentation.

* gnu/packages/freedesktop.scm (udisks)[outputs]: New field.
  [arguments]: Pass the --with-html-dir configure flag.
This commit is contained in:
Ludovic Courtès 2015-11-01 17:49:51 +01:00
parent 35263cd862
commit daa3b04cd8

View file

@ -345,12 +345,17 @@ (define-public udisks
("libgudev" ,libgudev) ("libgudev" ,libgudev)
("polkit" ,polkit) ("polkit" ,polkit)
("util-linux" ,util-linux))) ("util-linux" ,util-linux)))
(outputs '("out"
"doc")) ;5 MiB of gtk-doc HTML
(arguments (arguments
`(#:tests? #f ; requiring system message dbus `(#:tests? #f ; requiring system message dbus
#:configure-flags #:configure-flags
(list "--disable-man" (list "--disable-man"
"--localstatedir=/var" "--localstatedir=/var"
"--enable-fhs-media" ;mount devices in /media, not /run/media "--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")) (string-append "--with-udevdir=" %output "/lib/udev"))
#:phases #:phases
(modify-phases %standard-phases (modify-phases %standard-phases