[library-web] ditto for gnome-user-docs 3.15

[Frederic Peters <fpeters src gnome org>]

commit 9640704a066278ed42c13ef2ec6cfcd6b1ce7a9c
Author: Frédéric Péters <fpeters 0d be>
Date:   Wed Feb 18 22:42:23 2015 +0100

    ditto for gnome-user-docs 3.15

 data/extra-tarballs |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/data/extra-tarballs b/data/extra-tarballs
index a1444fe..6f3d1e2 100644
--- a/data/extra-tarballs
+++ b/data/extra-tarballs
@@ -90,6 +90,7 @@ gnome://discident-glib
 gnome://libgit2-glib
 
 gnome://gnome-devel-docs?min=3.15
+gnome://gnome-user-docs?min=3.15
 
 # Glade 3.8 was never included in a moduleset, so we force it
 # here. See https://bugzilla.gnome.org/show_bug.cgi?id=664801