From f95cde60ff02e897088d35052426964a3db90eb7 Mon Sep 17 00:00:00 2001
From: Chris Mayo <aklhfex@gmail.com>
Date: Tue, 26 Jul 2016 07:55:54 +0100
Subject: build: add --htmldir option

Defaults to docdir but makes it possible to install html documentation
separately.
---
 wscript          | 1 +
 wscript_build.py | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/wscript b/wscript
index 9269d95b54..309efd3bb2 100644
--- a/wscript
+++ b/wscript
@@ -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)
 
-- 
cgit v1.2.3