gnu: Add gnome-user-docs.
authorRaghav Gururajan <raghavgururajan@disroot.org>
Tue, 31 Dec 2019 16:03:46 +0000 (11:03 -0500)
committerTobias Geerinckx-Rice <me@tobias.gr>
Wed, 1 Jan 2020 16:17:49 +0000 (17:17 +0100)
commit823b77fb0d22c21d74820d959ab07e0d63af2bfb
tree29b36c0453bd417b352d12557f2dd62c9a1f27f3
parentbe93299dfe5800ca89f5f89e24e4af24b562707b
gnu: Add gnome-user-docs.

* gnu/packages/gnome.scm (gnome-user-docs): New variable.

Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
gnu/packages/gnome.scm