diff options
| author | Chris Mayo <aklhfex@gmail.com> | 2016-07-26 07:55:54 +0100 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2016-07-30 00:02:40 +0200 |
| commit | f95cde60ff02e897088d35052426964a3db90eb7 (patch) | |
| tree | 736b24832123fe789ff918342f8ae218c9f74841 /wscript_build.py | |
| parent | 3fe5ff99c692e8bf9eaf353c20d1e78e375c92b2 (diff) | |
| download | mpv-f95cde60ff02e897088d35052426964a3db90eb7.tar.bz2 mpv-f95cde60ff02e897088d35052426964a3db90eb7.tar.xz | |
build: add --htmldir option
Defaults to docdir but makes it possible to install html documentation
separately.
Diffstat (limited to 'wscript_build.py')
| -rw-r--r-- | wscript_build.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/wscript_build.py b/wscript_build.py index 13d89ce6a1..257be27462 100644 --- a/wscript_build.py +++ b/wscript_build.py @@ -19,7 +19,7 @@ def _build_html(ctx): target = 'DOCS/man/mpv.html', source = 'DOCS/man/mpv.rst', rule = '${RST2HTML} ${SRC} ${TGT}', - install_path = ctx.env.DOCDIR) + install_path = ctx.env.HTMLDIR) _add_rst_manual_dependencies(ctx) |