From e5062e9fb91e5f531266e5691a5567e7cc8fab5f Mon Sep 17 00:00:00 2001 From: Mingli Yu Date: Tue, 10 Aug 2021 13:02:18 +0000 Subject: [PATCH] Makefile.in: make sure doc generated before install There is a race between the doc generation and the doc installation, so make the install depend on the build for doc. Signed-off-by: Mingli Yu --- Makefile.in | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile.in b/Makefile.in index 286f7ea9..51276ceb 100644 --- a/Makefile.in +++ b/Makefile.in @@ -582,21 +582,21 @@ install_lib: install_lib_static endif install_lib: install_lib_pc -install_doc_html: +install_doc_html: build_doc_html $(INSTALL) -d $(DATADIR)/doc/jemalloc$(install_suffix) @for d in $(DOCS_HTML); do \ echo "$(INSTALL) -m 644 $$d $(DATADIR)/doc/jemalloc$(install_suffix)"; \ $(INSTALL) -m 644 $$d $(DATADIR)/doc/jemalloc$(install_suffix); \ done -install_doc_man: +install_doc_man: build_doc_man $(INSTALL) -d $(MANDIR)/man3 @for d in $(DOCS_MAN3); do \ echo "$(INSTALL) -m 644 $$d $(MANDIR)/man3"; \ $(INSTALL) -m 644 $$d $(MANDIR)/man3; \ done -install_doc: build_doc install_doc_html install_doc_man +install_doc: install_doc_html install_doc_man install: install_bin install_include install_lib