diff options
-rw-r--r-- | gnu/packages/gnome.scm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index cb0f479a3f..6a22c0669e 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -1404,6 +1404,9 @@ a debugging tool, @command{gssdp-device-sniffer}.") (sha256 (base32 "10hm8cgh2p8441xc83kswjgghrrqpzgblvc5523jp0pvayfq8xl6")))) + (arguments + (list #:configure-flags + #~(list "-Dgtk_doc=true"))) (propagated-inputs (modify-inputs (package-propagated-inputs gssdp) (replace "libsoup" libsoup-minimal-2))))) |