summaryrefslogtreecommitdiffstats
path: root/wscript
diff options
context:
space:
mode:
Diffstat (limited to 'wscript')
-rw-r--r--wscript6
1 files changed, 6 insertions, 0 deletions
diff --git a/wscript b/wscript
index 0defd74a9c..3dd3995259 100644
--- a/wscript
+++ b/wscript
@@ -55,6 +55,11 @@ build_options = [
'desc': 'manpage generation',
'func': check_ctx_vars('RST2MAN')
}, {
+ 'name': '--html-build',
+ 'desc': 'html manual generation',
+ 'func': check_ctx_vars('RST2HTML'),
+ 'default': 'disable',
+ }, {
'name': '--pdf-build',
'desc': 'pdf manual generation',
'func': check_ctx_vars('RST2PDF'),
@@ -924,6 +929,7 @@ def configure(ctx):
ctx.find_program(pkg_config, var='PKG_CONFIG')
ctx.find_program(ar, var='AR')
ctx.find_program('perl', var='BIN_PERL')
+ ctx.find_program('rst2html', var='RST2HTML', mandatory=False)
ctx.find_program('rst2man', var='RST2MAN', mandatory=False)
ctx.find_program('rst2pdf', var='RST2PDF', mandatory=False)
ctx.find_program(windres, var='WINDRES', mandatory=False)