diff options
-rw-r--r-- | configure.ac | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 2711840ddb..00fb9a5568 100644 --- a/configure.ac +++ b/configure.ac @@ -842,7 +842,8 @@ 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=;]) 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_ERROR([Sphinx for python3 is required to build documentation.]) + AC_MSG_WARN([Sphinx for python3 is required to build documentation.]) + SPHINXBUILD=; fi fi |