diff options
author | Olivier CrĂȘte <olivier.crete@collabora.com> | 2016-10-09 15:50:51 +0200 |
---|---|---|
committer | Olivier CrĂȘte <olivier.crete@collabora.com> | 2016-10-09 15:50:51 +0200 |
commit | 5b1af862ac94cb8bbdb05ecaa6eed8b6c67e83a2 (patch) | |
tree | 451956bcf7cf3eea6c6aa067985821d201051596 | |
parent | 4675c92ebc878c8f014cdb9d1e27cd68e79c1014 (diff) |
Generate devhelp book too, because it's nice
-rw-r--r-- | hotdoc.json | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/hotdoc.json b/hotdoc.json index 3f5fb37..041dc94 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 +} |