Tree - rpms/ghc - src.fedoraproject.org

Blob History Raw

		52da5da	`--- ghc-8.2.2/configure.ac~ 2017-11-21 05:22:42.000000000 +0900`
		52da5da	`+++ ghc-8.2.2/configure.ac 2018-05-28 12:37:35.296728423 +0900`
		52da5da	`@@ -745,7 +745,7 @@`
		52da5da	`AC_CACHE_CHECK([for version of sphinx-build], fp_cv_sphinx_version,`
		52da5da	`changequote(, )dnl`
		52da5da	`[if test -n "$SPHINXBUILD"; then`
		52da5da	- fp_cv_sphinx_version=`"$SPHINXBUILD" --version 2>&1 \| sed 's/Sphinx$ (sphinx-build)$\? v\?$[0-9]\.[0-9]\.[0-9]$/\2/' \| head -n1`;
		52da5da	+ fp_cv_sphinx_version=`"$SPHINXBUILD" --version 2>&1 \| sed 's/.* v\?$[0-9]\.[0-9]\.[0-9]$/\1/' \| head -n1`;
		52da5da	`fi;`
		52da5da	`changequote([, ])dnl`
		52da5da	`])`