diff options
Diffstat (limited to 'libitm/Makefile.in')
-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 |