From d1bf7f6a4fce6d03c10a6be2958f7a944408cd43 Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mike@mikegerwitz.com>
Date: Wed, 9 Mar 2011 00:06:33 -0500
Subject: [PATCH] Added info and plain text output to Makefile for manual

---
 Makefile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Makefile b/Makefile
index 9545475..18b5a4c 100644
--- a/Makefile
+++ b/Makefile
@@ -5,8 +5,11 @@ PATH_TOOLS=${CWD}/tools
 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=${CWD}/doc
 PATH_DOC_OUTPUT=${PATH_BUILD}/doc
+PATH_DOC_OUTPUT_INFO=${PATH_DOC_OUTPUT}/manual.info
+PATH_DOC_OUTPUT_PLAIN=${PATH_DOC_OUTPUT}/manual.txt
 PATH_DOC_OUTPUT_HTML=${PATH_DOC_OUTPUT}/manual
 PATH_DOC_OUTPUT_HTML1=${PATH_DOC_OUTPUT}/manual.html
 PATH_MANUAL_TEXI=${PATH_DOC}/manual.texi
@@ -55,6 +58,8 @@ doc:
 		| xargs rm
 	@mv -f ${PATH_DOC}/*.pdf ${PATH_DOC_OUTPUT}
 	cd ${PATH_DOC}; \
+		makeinfo -o ${PATH_DOC_OUTPUT_INFO} ${PATH_MANUAL_TEXI}; \
+		makeinfo --plain ${PATH_MANUAL_TEXI} > ${PATH_DOC_OUTPUT_PLAIN}; \
 		makeinfo --html -o ${PATH_DOC_OUTPUT_HTML} ${PATH_MANUAL_TEXI}; \
 		makeinfo --no-split --html -o ${PATH_DOC_OUTPUT_HTML1} ${PATH_MANUAL_TEXI};