build: add option of html manual

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)