From eb3f75400ff57ba890c0c6eec6552f3382a8ac8a Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mike@mikegerwitz.com>
Date: Sat, 19 Mar 2011 15:04:41 -0400
Subject: [PATCH] Makefile will now only remove what's specified in
 doc/.gitignore for 'make doc'

---
 Makefile | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/Makefile b/Makefile
index 923b879..a3a2e51 100644
--- a/Makefile
+++ b/Makefile
@@ -65,13 +65,8 @@ perf-%.js: default
 doc: mkbuild
 	pdftex -output-directory "${PATH_DOC}" "${PATH_MANUAL_TEXI}"
 	pdftex -output-directory "${PATH_DOC}" "${PATH_MANUAL_TEXI}"
-	find "${PATH_DOC}" -type f \
-		! -name '*.texi' -a \
-		! -name '.*' -a \
-		! -name '*.pdf' -a \
-		! -name '*.css' \
-		| xargs rm
 	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}"; \