diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-03-20 22:51:09 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-03-20 22:52:33 +0100 |
| commit | c03514596809c10ed025d669212d74b5c905c71a (patch) | |
| tree | 371486887044e58d27a3638ae5633f50f88cc27a /gnu/packages/freedesktop.scm | |
| parent | 55e1f25d89bd3cf68cb91be315ac1961ab984042 (diff) | |
gnu: udisks: Enforce non-reference of the "doc" output.
* gnu/packages/freedesktop.scm (udisks)[arguments]: Add
#:disallowed-references.
Diffstat (limited to 'gnu/packages/freedesktop.scm')
| -rw-r--r-- | gnu/packages/freedesktop.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/freedesktop.scm b/gnu/packages/freedesktop.scm index e17ec7c2bc..972eafc669 100644 --- a/gnu/packages/freedesktop.scm +++ b/gnu/packages/freedesktop.scm @@ -365,6 +365,7 @@ Analysis and Reporting Technology) functionality.") "doc")) ;5 MiB of gtk-doc HTML (arguments `(#:tests? #f ; requiring system message dbus + #:disallowed-references ("doc") ;enforce separation of "doc" #:configure-flags (list "--disable-man" "--localstatedir=/var" |