diff options
Diffstat (limited to 'gnu')
| -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" |