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_build.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'wscript_build.py')

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