diff options
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/configure.ac b/configure.ac index 82524b8de1..65e5d77829 100644 --- a/configure.ac +++ b/configure.ac @@ -725,11 +725,19 @@ then fi dnl ** check for Sphinx toolchain -AC_PATH_PROG(SPHINXBUILD,sphinx-build) -AC_CACHE_CHECK([for version of sphinx-build], fp_cv_sphinx_version, +if test "$HostOS" = "mingw32" +then +SphinxBin=sphinx-build2 +else +SphinxBin=sphinx-build +fi; + +AC_SUBST([SphinxBin]) +AC_PATH_PROG(SPHINXBUILD,${SphinxBin}) +AC_CACHE_CHECK([for version of ${SphinxBin}], fp_cv_sphinx_version, changequote(, )dnl [if test -n "$SPHINXBUILD"; then - fp_cv_sphinx_version=`"$SPHINXBUILD" --version 2>&1 | sed 's/Sphinx\( (sphinx-build)\)\? v\?\([0-9]\.[0-9]\.[0-9]\)/\2/' | head -n1`; + fp_cv_sphinx_version=`"$SPHINXBUILD" --version 2>&1 | sed 's/Sphinx\( (sphinx-build[2]\?)\)\? v\?\([0-9]\.[0-9]\.[0-9]\)/\2/' | head -n1`; fi; changequote([, ])dnl ]) |