diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-01-24 12:19:51 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-01-24 14:17:24 -0500 |
| commit | 34686d3060f4932fa1732906ef614d3f99d95b6e (patch) | |
| tree | 8ae1423a87ba9233fcf560a3e364454975159db3 | |
| parent | 8173a6df4612181190e8dba2fda2c83179c484e3 (diff) | |
| download | haskell-wip/fix-eventlog-docs.tar.gz | |
configure: Bump minimum-required sphinx versionwip/fix-eventlog-docs
Due to #17740 we now require sphinx 2.3.1.
| -rw-r--r-- | configure.ac | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/configure.ac b/configure.ac index 419f002c5e..6dd3694062 100644 --- a/configure.ac +++ b/configure.ac @@ -840,8 +840,9 @@ changequote(, )dnl fi; changequote([, ])dnl ]) -FP_COMPARE_VERSIONS([$fp_cv_sphinx_version],-lt,1.0.0, - [AC_MSG_WARN([Sphinx version 1.0.0 or later is required to build documentation]); SPHINXBUILD=;]) +MIN_SPHINX_VERSION="2.3.1" +FP_COMPARE_VERSIONS([$fp_cv_sphinx_version],-lt,$MIN_SPHINX_VERSION, + [AC_MSG_WARN([Sphinx version $MIN_SPHINX_VERSION or later is required to build documentation]); SPHINXBUILD=;]) if test -n "$SPHINXBUILD"; then if "$SPHINXBUILD" -b text utils/check-sphinx utils/check-sphinx/dist > /dev/null 2>&1; then true; else AC_MSG_WARN([Sphinx for python3 is required to build documentation.]) |