From ddb62e13fe486dde3ea24046d5032aa94c7ef0fd Mon Sep 17 00:00:00 2001
From: David Robillard <d@drobilla.net>
Date: Thu, 25 Jul 2019 21:00:32 +0200
Subject: Build documentation and coverage index page

---
 wscript | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'wscript')

diff --git a/wscript b/wscript
index fafa76b3..088ea0bc 100644
--- a/wscript
+++ b/wscript
@@ -161,7 +161,14 @@ def build(bld):
             obj.linkflags        = ['-static']
 
     # Documentation
-    autowaf.build_dox(bld, 'SERD', SERD_VERSION, top, out)
+    if bld.env.DOCS:
+        autowaf.build_dox(bld, 'SERD', SERD_VERSION, top, out)
+        bld(features='subst',
+            source='doc/index.html.in',
+            target='doc/index.html',
+            install_path='',
+            name='index',
+            SERD_VERSION=SERD_VERSION)
 
     # Man page
     bld.install_files('${MANDIR}/man1', 'doc/serdi.1')
-- 
cgit v1.2.1