From 2b5fb2e0eb971a1819c764cbdcc6936ff985737f Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mike@mikegerwitz.com>
Date: Sat, 19 Mar 2011 15:12:10 -0400
Subject: [PATCH] Split doc processes into separate targets for Makefile

---
 Makefile | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index a3a2e51..516e133 100644
--- a/Makefile
+++ b/Makefile
@@ -62,14 +62,20 @@ perf-%.js: default
 # files that were generated
 #
 # generates: pdf, HTML (multiple pages), HTML (single page)
-doc: mkbuild
+doc: mkbuild doc-pdf doc-texi doc-plain doc-html
+doc-pdf:
 	pdftex -output-directory "${PATH_DOC}" "${PATH_MANUAL_TEXI}"
 	pdftex -output-directory "${PATH_DOC}" "${PATH_MANUAL_TEXI}"
 	mv -f "${PATH_DOC}"/*.pdf "${PATH_DOC_OUTPUT}"
 	cd "$(PATH_DOC)" && rm -f $(shell cat "$(PATH_DOC)/.gitignore")
-	cd "${PATH_DOC}"; \
-		makeinfo -o "${PATH_DOC_OUTPUT_INFO}" "${PATH_MANUAL_TEXI}"; \
-		makeinfo --plain "${PATH_MANUAL_TEXI}" > "${PATH_DOC_OUTPUT_PLAIN}"; \
+doc-texi:
+	cd "${PATH_DOC}" && \
+		makeinfo -o "${PATH_DOC_OUTPUT_INFO}" "${PATH_MANUAL_TEXI}";
+doc-plain:
+	cd "${PATH_DOC}" && \
+		makeinfo --plain "${PATH_MANUAL_TEXI}" > "${PATH_DOC_OUTPUT_PLAIN}";
+doc-html:
+	cd "${PATH_DOC}" && \
 		makeinfo --html --css-include="${PATH_DOC_CSS}" \
 			-o "${PATH_DOC_OUTPUT_HTML}" "${PATH_MANUAL_TEXI}"; \
 		makeinfo --no-split --html --css-include="${PATH_DOC_CSS}" \