diff options
| -rw-r--r-- | gnu/packages/gnome.scm | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index 360c657741..4f5734dc0a 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -6182,9 +6182,10 @@ throughout GNOME for API documentation).") (license license:gpl2+))) (define-public devhelp-with-libsoup2 - (package/inherit devhelp - (inputs (modify-inputs (package-inputs devhelp) - (replace "webkitgtk" webkitgtk-with-libsoup2))))) + (hidden-package + (package/inherit devhelp + (inputs (modify-inputs (package-inputs devhelp) + (replace "webkitgtk" webkitgtk-with-libsoup2)))))) (define-public cogl (package |