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_build.py | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'wscript_build.py') diff --git a/wscript_build.py b/wscript_build.py index 46ff204b59..b6f76ae425 100644 --- a/wscript_build.py +++ b/wscript_build.py @@ -13,6 +13,16 @@ def _add_rst_manual_dependencies(ctx): ctx.path.find_node('DOCS/man/mpv.rst'), ctx.path.find_node(manpage_source)) +def _build_html(ctx): + ctx( + name = 'rst2html', + target = 'DOCS/man/mpv.html', + source = 'DOCS/man/mpv.rst', + rule = '${RST2HTML} ${SRC} ${TGT}', + install_path = ctx.env.DOCDIR) + + _add_rst_manual_dependencies(ctx) + def _build_man(ctx): ctx( name = 'rst2man', @@ -530,6 +540,9 @@ def build(ctx): features = 'c cshlib', install_path = ctx.env.LIBDIR + '/mpv' ) + if ctx.dependency_satisfied('html-build'): + _build_html(ctx) + if ctx.dependency_satisfied('manpage-build'): _build_man(ctx) -- cgit v1.2.3