diff options
author | Stefano Pigozzi <stefano.pigozzi@gmail.com> | 2013-11-23 11:35:16 +0100 |
---|---|---|
committer | Stefano Pigozzi <stefano.pigozzi@gmail.com> | 2013-11-23 11:35:16 +0100 |
commit | 60521783c3cb470ca4896fc7db3d6f5183368cae (patch) | |
tree | 0c65fef485b13cc8b70a3470240c82d7c47e7ffa /wscript_build.py | |
parent | add439b06b66786620eeaaef5d120ef223cba845 (diff) | |
download | mpv-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.py | 2 |
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) |