From d0cd7fa31b1812c273f938cb4fd5ecf7fc9eec79 Mon Sep 17 00:00:00 2001 From: Chris Mayo Date: Tue, 29 Dec 2015 19:57:09 +0000 Subject: build: add option of html manual --- wscript | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'wscript') diff --git a/wscript b/wscript index 0defd74a9c..3dd3995259 100644 --- a/wscript +++ b/wscript @@ -54,6 +54,11 @@ build_options = [ 'name': '--manpage-build', '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', @@ -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) -- cgit v1.2.3