From 58555a1765a58dbe37fbf741491014dc4deba531 Mon Sep 17 00:00:00 2001
From: toy <toy>
Date: Fri, 22 Nov 2002 16:28:46 +0000
Subject: [PATCH] Don't delete the log file.

---
 docs/cmu-user/Makefile | 2 --
 1 file changed, 2 deletions(-)

diff --git a/docs/cmu-user/Makefile b/docs/cmu-user/Makefile
index 24fef9777..dcb5add7f 100644
--- a/docs/cmu-user/Makefile
+++ b/docs/cmu-user/Makefile
@@ -58,7 +58,6 @@ all: cmu-user.ps
 	if [ "$<" = "cmu-user.tex" ]; then $(MAKE) index; else $(MAKE) index-letter; fi
 
 	$(LATEX) $<
-	rm $*.log
 
 %.pdf : %.tex $(FILES)
 	$(PDFLATEX) $<
@@ -67,7 +66,6 @@ all: cmu-user.ps
 	done
 	if [ "$<" = "cmu-user.tex" ]; then $(MAKE) index; else $(MAKE) index-letter; fi
 	$(PDFLATEX) $<
-	rm $*.log
 
 # the "-fix" option to hevea makes it run as many times as necessary
 # to resolve all cross-references and generate an index.
-- 
GitLab