aboutsummaryrefslogtreecommitdiffstats
path: root/wscript
diff options
context:
space:
mode:
authorDavid Robillard <d@drobilla.net>2019-07-25 21:00:32 +0200
committerDavid Robillard <d@drobilla.net>2019-07-25 21:00:45 +0200
commitddb62e13fe486dde3ea24046d5032aa94c7ef0fd (patch)
treecc100537a819114f0f36dfd7261029db96cafdbd /wscript
parent04a70c3b077bb053996c010f895dee3d806c87cd (diff)
downloadserd-ddb62e13fe486dde3ea24046d5032aa94c7ef0fd.tar.gz
serd-ddb62e13fe486dde3ea24046d5032aa94c7ef0fd.tar.bz2
serd-ddb62e13fe486dde3ea24046d5032aa94c7ef0fd.zip
Build documentation and coverage index page
Diffstat (limited to 'wscript')
-rw-r--r--wscript9
1 files changed, 8 insertions, 1 deletions
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')