[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

04/05: gnu: udisks: Separate HTML documentation.

From: Ludovic Courtès
Subject: 04/05: gnu: udisks: Separate HTML documentation.
Date: Sun, 01 Nov 2015 16:57:28 +0000

civodul pushed a commit to branch master
in repository guix.

commit daa3b04cd8020e365d3c551bc498363a284f5acf
Author: Ludovic Courtès <address@hidden>
Date:   Sun Nov 1 17:49:51 2015 +0100

    gnu: udisks: Separate HTML documentation.
    * gnu/packages/freedesktop.scm (udisks)[outputs]: New field.
      [arguments]: Pass the --with-html-dir configure flag.
 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 28e9001..28883d1 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
      `(#:tests? #f ; requiring system message dbus
        (list "--disable-man"
              "--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"))
        (modify-phases %standard-phases

reply via email to

[Prev in Thread] Current Thread [Next in Thread]