diff options
| author | David Robillard <d@drobilla.net> | 2019-07-25 21:00:32 +0200 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2019-07-25 21:00:45 +0200 |
| commit | ddb62e13fe486dde3ea24046d5032aa94c7ef0fd (patch) | |
| tree | cc100537a819114f0f36dfd7261029db96cafdbd /wscript | |
| parent | 04a70c3b077bb053996c010f895dee3d806c87cd (diff) | |
| download | serd-ddb62e13fe486dde3ea24046d5032aa94c7ef0fd.tar.gz serd-ddb62e13fe486dde3ea24046d5032aa94c7ef0fd.tar.bz2 serd-ddb62e13fe486dde3ea24046d5032aa94c7ef0fd.zip | |
Build documentation and coverage index page
Diffstat (limited to 'wscript')
| -rw-r--r-- | wscript | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -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') |