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 | |
| 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.
| -rw-r--r-- | wscript | 1 | ||||
| -rw-r--r-- | wscript_build.py | 2 |
2 files changed, 2 insertions, 1 deletions
@@ -942,6 +942,7 @@ _INSTALL_DIRS_LIST = [ ('datadir', '${PREFIX}/share', 'data files'), ('mandir', '${DATADIR}/man', 'man pages '), ('docdir', '${DATADIR}/doc/mpv', 'documentation files'), + ('htmldir', '${DOCDIR}', 'html documentation files'), ('zshdir', '${DATADIR}/zsh/site-functions', 'zsh completion functions'), ('confloaddir', '${CONFDIR}', 'configuration files load directory'), 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) |