diff options
-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) |