From 162e084edd66f6ba535b00dd40c7ddf68c255033 Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mike@mikegerwitz.com>
Date: Tue, 8 Mar 2011 23:48:47 -0500
Subject: [PATCH] Added doc HTML output to Makefile

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

diff --git a/Makefile b/Makefile
index 83dbe9f..e7e83bc 100644
--- a/Makefile
+++ b/Makefile
@@ -5,6 +5,8 @@ PATH_COMBINE_OUTPUT=${PATH_BUILD}/ease.js
 PATH_COMBINE_OUTPUT_FULL=${PATH_BUILD}/ease-full.js
 PATH_BROWSER_TEST=${PATH_TOOLS}/browser-test.html
 PATH_DOC=./doc
+PATH_DOC_OUTPUT=${PATH_BUILD}/doc
+MANUAL_TEXI=manual.texi
 
 COMBINE=${PATH_TOOLS}/combine
 
@@ -39,16 +41,20 @@ test: default
 # generate texinfo documentation (twice to generate TOC), then remove the extra
 # files that were generaetd
 doc:
-	pdftex -output-directory "${PATH_DOC}" ${PATH_DOC}/manual.texi;
-	pdftex -output-directory "${PATH_DOC}" ${PATH_DOC}/manual.texi;
+	@mkdir -p ${PATH_DOC_OUTPUT}
+	pdftex -output-directory "${PATH_DOC}" ${PATH_DOC}/${MANUAL_TEXI}
+	pdftex -output-directory "${PATH_DOC}" ${PATH_DOC}/${MANUAL_TEXI}
 	find ${PATH_DOC} -type f \
 		! -name '*.texi' -a \
 		! -name '.*' -a \
 		! -name '*.pdf' \
 		| xargs rm
-	mv ${PATH_DOC}/*.pdf ${PATH_BUILD}/
+	@mv -f ${PATH_DOC}/*.pdf ${PATH_DOC_OUTPUT}
+	cd ${PATH_DOC}; \
+		makeinfo --html -o manual ${MANUAL_TEXI}
+	@mv -f ${PATH_DOC}/manual ${PATH_DOC_OUTPUT}
 
 # clean up build dir
-clean: clean-doc
+clean:
 	rm -rf ${PATH_BUILD}