diff options
| author | Chris Mayo <aklhfex@gmail.com> | 2016-07-26 07:55:54 +0100 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2016-07-30 00:02:40 +0200 |
| commit | f95cde60ff02e897088d35052426964a3db90eb7 (patch) | |
| tree | 736b24832123fe789ff918342f8ae218c9f74841 /wscript | |
| parent | 3fe5ff99c692e8bf9eaf353c20d1e78e375c92b2 (diff) | |
| download | mpv-f95cde60ff02e897088d35052426964a3db90eb7.tar.bz2 mpv-f95cde60ff02e897088d35052426964a3db90eb7.tar.xz | |
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'), |