aboutsummaryrefslogtreecommitdiffstats
path: root/wscript
diff options
context:
space:
mode:
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')