[devhelp] update list of official developer documentation sites

[Frederic Peters <fpeters src gnome org>]

commit 13f64944c07f2273c22d80626e360974127ef195
Author: Frédéric Péters <fpeters 0d be>
Date:   Fri Apr 3 10:51:07 2015 +0200

    update list of official developer documentation sites
    
    This makes documentation files that were rebased to use developer.gnome.org as
    base URI back to first looking for local copies of their links.

 src/dh-window.c |   18 +++++++++++++++---
 1 files changed, 15 insertions(+), 3 deletions(-)
---
diff --git a/src/dh-window.c b/src/dh-window.c
index b5f6149..c8b109b 100644
--- a/src/dh-window.c
+++ b/src/dh-window.c
@@ -844,8 +844,17 @@ find_library_equivalent (DhWindow    *window,
         GList *books;
 
         components = g_strsplit (uri, "/", 0);
-        book_id = components[4];
-        filename = components[6];
+        if (strncmp (uri, "http://library.gnome.org/devel/";, 31) == 0 ||
+            strncmp (uri, "https://library.gnome.org/devel/";, 32) == 0) {
+                book_id = components[4];
+                filename = components[6];
+        } else if (strncmp (uri, "http://developer.gnome.org/";, 27 ) == 0 ||
+                   strncmp (uri, "https://developer.gnome.org/";, 28 ) == 0) {
+                book_id = components[3];
+                filename = components[5];
+        } else {
+                return NULL;
+        }
 
         book_manager = dh_app_peek_book_manager (DH_APP (gtk_window_get_application (GTK_WINDOW (window))));
 
@@ -903,7 +912,10 @@ window_web_view_decide_policy_cb (WebKitWebView           *web_view,
                 return FALSE;
         }
 
-        if (strncmp (uri, "http://library.gnome.org/devel/";, 31) == 0) {
+        if (strncmp (uri, "http://library.gnome.org/devel/";, 31) == 0 ||
+            strncmp (uri, "https://library.gnome.org/devel/";, 32) == 0 ||
+            strncmp (uri, "http://developer.gnome.org/";, 27 ) == 0 ||
+            strncmp (uri, "https://developer.gnome.org/";, 28 ) == 0) {
                 gchar *local_uri = find_library_equivalent (window, uri);
                 if (local_uri) {
                         webkit_policy_decision_ignore (policy_decision);