From 5b1af862ac94cb8bbdb05ecaa6eed8b6c67e83a2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Olivier=20Cr=C3=AAte?= <olivier.crete@collabora.com>
Date: Sun, 9 Oct 2016 15:50:51 +0200
Subject: [PATCH] Generate devhelp book too, because it's nice

---
 hotdoc.json | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/hotdoc.json b/hotdoc.json
index 3f5fb37fea..041dc94a24 100644
--- a/hotdoc.json
+++ b/hotdoc.json
@@ -11,5 +11,6 @@
     ], 
     "project_name": "GStreamer Documentation",
     "sitemap": "sitemap.txt", 
-    "syntax_highlighting_activate": true
-}
\ No newline at end of file
+    "syntax_highlighting_activate": true,
+    "devhelp_activate": true
+}