From b70133760f83b85ff6021bbbe91c263b81ba0d38 Mon Sep 17 00:00:00 2001 From: Jonas Fonseca Date: Sun, 8 Jan 2006 23:15:47 +0100 Subject: [PATCH] Make *-docs depend on doc-dirs; beware if you build individual files --- doc/Makefile | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/doc/Makefile b/doc/Makefile index 6ce38a6ca..18a383e09 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -83,17 +83,15 @@ MAN_DOCS += $(MAN_DOCS-yes) HTML_DOCS += $(HTML_DOCS-yes) PDF_DOCS += $(PDF_DOCS-yes) -man-docs: $(addprefix $(MAN_DIR)/,$(MAN_DOCS)) -html-docs: $(addprefix $(HTML_DIR)/,$(HTML_DOCS)) -pdf-docs: $(addprefix $(PDF_DIR)/,$(PDF_DOCS)) +man-docs: doc-dirs $(addprefix $(MAN_DIR)/,$(MAN_DOCS)) +html-docs: doc-dirs $(addprefix $(HTML_DIR)/,$(HTML_DOCS)) +pdf-docs: doc-dirs $(addprefix $(PDF_DIR)/,$(PDF_DOCS)) all-docs: man-docs html-docs pdf-docs ### Build Rules # -$(MAKECMDGOALS): doc-dirs - doc-dirs: $(INSTALL) -d $(DOC_DIRS)