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 +
 1 file changed, 1 insertion(+)

(limited to 'wscript')

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'),
-- 
cgit v1.2.3