diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-11-01 17:49:51 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-11-01 17:56:48 +0100 |
| commit | daa3b04cd8020e365d3c551bc498363a284f5acf (patch) | |
| tree | 7666adbc7045a894028428b171fe69b0e0a5677a /gnu/packages | |
| parent | 35263cd8627b296c3badc21de355b4fe613d7cd4 (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.scm | 5 |
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 |