diff --git a/ghc-configure-fix-sphinx-version-check.patch b/ghc-configure-fix-sphinx-version-check.patch deleted file mode 100644 index c19da05..0000000 --- a/ghc-configure-fix-sphinx-version-check.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- ghc-8.2.2/configure.ac~ 2017-11-21 05:22:42.000000000 +0900 -+++ ghc-8.2.2/configure.ac 2018-05-28 12:37:35.296728423 +0900 -@@ -745,7 +745,7 @@ - AC_CACHE_CHECK([for version of sphinx-build], 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/.* v\?\([0-9]\.[0-9]\.[0-9]\)/\1/' | head -n1`; - fi; - changequote([, ])dnl - ])