From 64910a4ea1f3f902ffa08dfdf6422c8e69ad98fd Mon Sep 17 00:00:00 2001
From: Colomban Wendling <ban@herbesfolles.org>
Date: Wed, 27 Aug 2014 19:02:24 +0200
Subject: [PATCH] Fix Waf build after HTML documentation untracking

---
 wscript | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/wscript b/wscript
index 22f347fcd..798fbc6c1 100644
--- a/wscript
+++ b/wscript
@@ -514,6 +514,11 @@ def build(bld):
                                'top_builddir': bld.out_dir,
                                'top_srcdir': bld.top_dir,})
 
+    # build HTML documentation if it is not part of the tree already, as it is required for install
+    # FIXME: replace this with automatic building if source changed/destination is missing
+    if not bld.path.find_resource('doc/geany.html'):
+        htmldoc(bld)
+
     ###
     # Install files
     ###
-- 
2.11.4.GIT