diff options
| author | Martin Liska <mliska@suse.cz> | 2022-11-13 21:58:22 +0100 |
|---|---|---|
| committer | Martin Liska <mliska@suse.cz> | 2022-11-14 09:35:05 +0100 |
| commit | 50b2e0fc3604e9f69a5e3b6ad1902e681764edc5 (patch) | |
| tree | 92d33251cd4e6769e1ea5f4e3ee53de8077a5971 /libitm | |
| parent | 3c1d0356cfae9b8e7920f2929ea808ade7988075 (diff) | |
| download | gcc-50b2e0fc3604e9f69a5e3b6ad1902e681764edc5.zip gcc-50b2e0fc3604e9f69a5e3b6ad1902e681764edc5.tar.gz gcc-50b2e0fc3604e9f69a5e3b6ad1902e681764edc5.tar.bz2 | |
Revert "sphinx: fix building if sphinx-build is missing"
This reverts commit 1f9c79367e136e0ca5b775562e6111e1a0d0046f.
Diffstat (limited to 'libitm')
| -rw-r--r-- | libitm/Makefile.in | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/libitm/Makefile.in b/libitm/Makefile.in index f51858d..38a7e5b 100644 --- a/libitm/Makefile.in +++ b/libitm/Makefile.in @@ -1121,10 +1121,7 @@ stamp-geninsrc: doc/info/texinfo/libitm.info @touch $@ doc/info/texinfo/libitm.info: $(SPHINX_FILES) - + if [ x$(HAS_SPHINX_BUILD) = xhas-sphinx-build ]; then \ - make -C $(srcdir)/../doc info SOURCEDIR=$(abs_srcdir)/doc BUILDDIR=$(abs_doc_builddir)/info SPHINXBUILD=$(SPHINX_BUILD); \ - else true; fi - + + make -C $(srcdir)/../doc info SOURCEDIR=$(abs_srcdir)/doc BUILDDIR=$(abs_doc_builddir)/info SPHINXBUILD=$(SPHINX_BUILD) # GNU Make needs to see an explicit $(MAKE) variable in the command it # runs to enable its job server during parallel builds. Hence the |