summaryrefslogtreecommitdiffstats
path: root/wscript_build.py
diff options
context:
space:
mode:
authorStefano Pigozzi <stefano.pigozzi@gmail.com>2013-11-23 11:35:16 +0100
committerStefano Pigozzi <stefano.pigozzi@gmail.com>2013-11-23 11:35:16 +0100
commit60521783c3cb470ca4896fc7db3d6f5183368cae (patch)
tree0c65fef485b13cc8b70a3470240c82d7c47e7ffa /wscript_build.py
parentadd439b06b66786620eeaaef5d120ef223cba845 (diff)
downloadmpv-60521783c3cb470ca4896fc7db3d6f5183368cae.tar.bz2
mpv-60521783c3cb470ca4896fc7db3d6f5183368cae.tar.xz
build: fix install path for manual
Appending man1 to the MANDIR was forgotten, so the manual was installed in the wrong path.
Diffstat (limited to 'wscript_build.py')
-rw-r--r--wscript_build.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/wscript_build.py b/wscript_build.py
index 38ea141b3d..302d3caeb4 100644
--- a/wscript_build.py
+++ b/wscript_build.py
@@ -16,7 +16,7 @@ def _build_man(ctx):
target = 'DOCS/man/en/mpv.1',
source = 'DOCS/man/en/mpv.rst',
rule = '${RST2MAN} ${SRC} ${TGT}',
- install_path = ctx.env.MANDIR)
+ install_path = ctx.env.MANDIR + '/man1')
_add_rst_manual_dependencies(ctx)