diff options
Diffstat (limited to 'libitm')
-rwxr-xr-x | libitm/configure | 2 | ||||
-rw-r--r-- | libitm/configure.ac | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/libitm/configure b/libitm/configure index 2a7d21e..20f2003 100755 --- a/libitm/configure +++ b/libitm/configure @@ -18094,7 +18094,7 @@ $as_echo "$as_me: WARNING: *** Info and man pages documentation will not be built." >&2;} { $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5 $as_echo "no" >&6; } - SPHINX_BUILD=sphinx-build + SPHINX_BUILD= HAS_SPHINX_BUILD= fi rm -rf $tempdir diff --git a/libitm/configure.ac b/libitm/configure.ac index be5d715..6930f5a 100644 --- a/libitm/configure.ac +++ b/libitm/configure.ac @@ -331,7 +331,7 @@ else *** sphinx-build is missing or too old. *** Info and man pages documentation will not be built.]) AC_MSG_RESULT(no) - SPHINX_BUILD=sphinx-build + SPHINX_BUILD= HAS_SPHINX_BUILD= fi rm -rf $tempdir |