diff options
author | Stefano Pigozzi <stefano.pigozzi@gmail.com> | 2012-11-02 14:37:02 +0100 |
---|---|---|
committer | Stefano Pigozzi <stefano.pigozzi@gmail.com> | 2012-11-02 14:37:02 +0100 |
commit | e0aef8cf1275cc988007fcb2a099cdd9f92fa374 (patch) | |
tree | 6cd38a3129a04a5c27ffbd258a17b103101f6aca /configure | |
parent | 538baaef6e22f1ecb2fb9d6035a6992e22c89ed4 (diff) | |
download | mpv-e0aef8cf1275cc988007fcb2a099cdd9f92fa374.tar.bz2 mpv-e0aef8cf1275cc988007fcb2a099cdd9f92fa374.tar.xz |
configure: detect rst2man binary name
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -956,6 +956,11 @@ if cygwin ; then extra_cflags="$extra_cflags -mwin32" fi +_rst2man=rst2man +if [ -f "$(which rst2man.py)" ] ; then + _rst2man=rst2man.py +fi + TMPC="$mplayer_tmpdir/tmp.c" TMPCPP="$mplayer_tmpdir/tmp.cpp" TMPEXE="$mplayer_tmpdir/tmp$_exesuf" @@ -3332,6 +3337,7 @@ EXTRALIBS_MPLAYER = $libs_mplayer GETCH = $_getch TIMER = $_timer +RST2MAN = $_rst2man EXESUF = $_exesuf EXESUFS_ALL = .exe |