diff options
author | Martin Liska <mliska@suse.cz> | 2022-11-13 21:48:24 +0100 |
---|---|---|
committer | Martin Liska <mliska@suse.cz> | 2022-11-14 09:35:02 +0100 |
commit | bd24b5dbb6877c339533f414b39c33cffe562067 (patch) | |
tree | 3fa251b653d0122871ffaff58377bc4884287cd2 /gcc/configure | |
parent | cead52c9d94420a092add58f0d1521ece3f8ecfa (diff) | |
download | gcc-bd24b5dbb6877c339533f414b39c33cffe562067.zip gcc-bd24b5dbb6877c339533f414b39c33cffe562067.tar.gz gcc-bd24b5dbb6877c339533f414b39c33cffe562067.tar.bz2 |
Revert "configure: always set SPHINX_BUILD"
This reverts commit 5e749ee3019d7917184af30dab8d09c933c0a4a1.
Diffstat (limited to 'gcc/configure')
-rwxr-xr-x | gcc/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/configure b/gcc/configure index 752d3bf..1a32f89 100755 --- a/gcc/configure +++ b/gcc/configure @@ -8849,7 +8849,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 |