[library-web] overlay: put hig on developer.gnome.org

[Frederic Peters <fpeters src gnome org>]

commit fe8d03b6334f0e9473ff43c5c785887f8f239791
Author: Frédéric Péters <fpeters 0d be>
Date:   Mon Sep 15 15:21:41 2014 +0200

    overlay: put hig on developer.gnome.org

 data/overlay.xml.in |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/data/overlay.xml.in b/data/overlay.xml.in
index f14c560..f4b5d72 100644
--- a/data/overlay.xml.in
+++ b/data/overlay.xml.in
@@ -746,6 +746,9 @@
     <document doc_module="hig-book" old-channel="users" channel="devel">
       <category>devel-guides</category>
     </document>
+    <document doc_module="hig" old-channel="users" channel="devel">
+      <category>devel-guides</category>
+    </document>
     <document doc_module="devtools-install" old-channel="users" channel="devel">
       <category>devel-guides</category>
     </document>