aboutsummaryrefslogtreecommitdiffstats
path: root/wscript
diff options
context:
space:
mode:
authorDavid Robillard <d@drobilla.net>2020-12-20 20:20:07 +0100
committerDavid Robillard <d@drobilla.net>2020-12-21 09:48:06 +0100
commitf95f22013d51133ec1a7b1554878ff354b9f0f21 (patch)
tree2f65c78412fa9a083bc82e49480ba206fa14a689 /wscript
parentfabf7113483ffd70024df989de3aa9361146d60c (diff)
downloadserd-f95f22013d51133ec1a7b1554878ff354b9f0f21.tar.gz
serd-f95f22013d51133ec1a7b1554878ff354b9f0f21.tar.bz2
serd-f95f22013d51133ec1a7b1554878ff354b9f0f21.zip
Generate documentation with Sphinx
Diffstat (limited to 'wscript')
-rw-r--r--wscript11
1 files changed, 4 insertions, 7 deletions
diff --git a/wscript b/wscript
index 6812c532..fa2d2479 100644
--- a/wscript
+++ b/wscript
@@ -43,6 +43,9 @@ def configure(conf):
conf.load('compiler_c', cache=True)
conf.load('autowaf', cache=True)
+ if conf.env.DOCS:
+ conf.load('sphinx')
+
if not autowaf.set_c_lang(conf, 'c11', mandatory=False):
autowaf.set_c_lang(conf, 'c99')
@@ -264,13 +267,7 @@ def build(bld):
# Documentation
if bld.env.DOCS:
- autowaf.build_dox(bld, 'SERD', SERD_VERSION, top, out)
- bld(features='subst',
- source='doc/index.html.in',
- target='index.html',
- install_path='',
- name='index',
- SERD_VERSION=SERD_VERSION)
+ bld.recurse('doc/c')
# Man page
bld.install_files('${MANDIR}/man1', 'doc/serdi.1')