[gnome-sdk-images/gnome-3-24] Add Docs extension

[Alexander Larsson <alexl src gnome org>]

commit c48a0472a97f557fff0eb3c60457358baca95940
Author: Alexander Larsson <alexl redhat com>
Date:   Mon Aug 21 17:56:30 2017 +0200

    Add Docs extension

 org.gnome.Sdk.json.in |   10 +++++++++-
 1 files changed, 9 insertions(+), 1 deletions(-)
---
diff --git a/org.gnome.Sdk.json.in b/org.gnome.Sdk.json.in
index 0ae006b..ae8c629 100644
--- a/org.gnome.Sdk.json.in
+++ b/org.gnome.Sdk.json.in
@@ -6,7 +6,7 @@
     "runtime": "org.freedesktop.Platform",
     "sdk": "org.freedesktop.Sdk",
     "runtime-version": "@@SDK_RUNTIME_VERSION@@",
-    "sdk-extensions": ["org.freedesktop.Sdk.Debug", "org.freedesktop.Sdk.Locale"],
+    "sdk-extensions": ["org.freedesktop.Sdk.Debug", "org.freedesktop.Sdk.Locale", 
"org.freedesktop.Sdk.Docs"],
     "platform-extensions": [ "org.freedesktop.Platform.Locale"],
     "inherit-extensions": [
         "org.freedesktop.Platform.GL",
@@ -17,6 +17,14 @@
         "org.freedesktop.Sdk.Extension",
         "org.gtk.Gtk3theme"
     ],
+    "add-extensions": {
+        "org.gnome.Sdk.Docs" : {
+            "directory": "share/runtime/docs",
+            "bundle": true,
+            "autodelete": true,
+            "no-autodownload": true
+        }
+    },
     "finish-args": [
         "--env=GI_TYPELIB_PATH=/app/lib/girepository-1.0",
         
"--env=GST_PLUGIN_SYSTEM_PATH=/app/lib/gstreamer-1.0:/usr/lib/extensions/gstreamer-1.0:/usr/lib/gstreamer-1.0",