diff options
author | Martin Liska <mliska@suse.cz> | 2022-11-09 10:07:32 +0100 |
---|---|---|
committer | Martin Liska <mliska@suse.cz> | 2022-11-09 10:08:02 +0100 |
commit | 1f9c79367e136e0ca5b775562e6111e1a0d0046f (patch) | |
tree | 0a427500dba9a0db1b42d86cc2ee071b89314f01 /libitm | |
parent | 4287e8168f89e90b3dff3a50f3ada40be53e0e01 (diff) | |
download | gcc-1f9c79367e136e0ca5b775562e6111e1a0d0046f.zip gcc-1f9c79367e136e0ca5b775562e6111e1a0d0046f.tar.gz gcc-1f9c79367e136e0ca5b775562e6111e1a0d0046f.tar.bz2 |
sphinx: fix building if sphinx-build is missing
libgomp/ChangeLog:
* Makefile.in: Build info pages conditionally.
libitm/ChangeLog:
* Makefile.in: Build info pages conditionally.
libquadmath/ChangeLog:
* Makefile.in: Build info pages conditionally.
Diffstat (limited to 'libitm')
-rw-r--r-- | libitm/Makefile.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/libitm/Makefile.in b/libitm/Makefile.in index 38a7e5b..f51858d 100644 --- a/libitm/Makefile.in +++ b/libitm/Makefile.in @@ -1121,7 +1121,10 @@ stamp-geninsrc: doc/info/texinfo/libitm.info @touch $@ doc/info/texinfo/libitm.info: $(SPHINX_FILES) - + make -C $(srcdir)/../doc info SOURCEDIR=$(abs_srcdir)/doc BUILDDIR=$(abs_doc_builddir)/info SPHINXBUILD=$(SPHINX_BUILD) + + 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 + # GNU Make needs to see an explicit $(MAKE) variable in the command it # runs to enable its job server during parallel builds. Hence the |