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 /libquadmath | |
parent | 4287e8168f89e90b3dff3a50f3ada40be53e0e01 (diff) |
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 'libquadmath')
-rw-r--r-- | libquadmath/Makefile.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libquadmath/Makefile.in b/libquadmath/Makefile.in index d551f56ce62..864ebc6048a 100644 --- a/libquadmath/Makefile.in +++ b/libquadmath/Makefile.in @@ -1374,7 +1374,9 @@ SPHINX_FILES:=$(RST_FILES) $(SPHINX_CONFIG_FILES) export BUGURL=$(REPORT_BUGS_TO) doc/info/texinfo/libquadmath.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 |