diff options
author | 2016-07-26 07:55:54 +0100 | |
---|---|---|
committer | 2016-07-30 00:02:40 +0200 | |
commit | f95cde60ff02e897088d35052426964a3db90eb7 (patch) | |
tree | 736b24832123fe789ff918342f8ae218c9f74841 /wscript | |
parent | 3fe5ff99c692e8bf9eaf353c20d1e78e375c92b2 (diff) |
build: add --htmldir option
Defaults to docdir but makes it possible to install html documentation
separately.
Diffstat (limited to 'wscript')
-rw-r--r-- | wscript | 1 |
1 files changed, 1 insertions, 0 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'), |