From 1dc1c331381ecd8241532c165f8bac88a3abd6b8 Mon Sep 17 00:00:00 2001
From: Raymond Toy <toy.raymond@gmail.com>
Date: Thu, 3 Jan 2013 20:18:53 -0800
Subject: [PATCH] o Don't delete gif files because some are checked in.  (Fix
 this in a   better way.) o Don't infloop when creating cmu-user.pdf by
 skipping over the   version message from rerunfilecheck before checking for
 Rerun   messages.

---
 src/docs/cmu-user/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/docs/cmu-user/Makefile b/src/docs/cmu-user/Makefile
index defc4a5a6..4a3e34576 100644
--- a/src/docs/cmu-user/Makefile
+++ b/src/docs/cmu-user/Makefile
@@ -62,7 +62,7 @@ all: cmu-user.ps
 
 %.pdf : %.tex $(FILES)
 	$(PDFLATEX) $<
-	@while ( grep Rerun $*.log > /dev/null ); do \
+	@while ( grep -v 'Package: rerunfilecheck' $*.log | grep Rerun > /dev/null ); do \
 	   $(PDFLATEX) $<; \
 	done
 	if [ "$<" = "cmu-user.tex" ]; then $(MAKE) index; else $(MAKE) index-letter; fi
@@ -102,7 +102,7 @@ cmu-user-letter.tex: cmu-user.tex
 
 
 clean:
-	rm -f *.log *.bbl *.blg *.ps *.pdf *.aux *.lof *.toc *.gif *.out *.ilg
+	rm -f *.log *.bbl *.blg *.ps *.pdf *.aux *.lof *.toc *.out *.ilg
 	rm -f *.vdx *.cdx *.tdx *.fdx *.idx *.cnd *.fnd *.tnd *.vnd *.haux
 	rm -f *.html *.hcnd *.htnd *.hvnd *.hfnd *.htoc
 
-- 
GitLab