From 1d7ae49e1655df0b9b3e18d6ccc61494e652bc2e Mon Sep 17 00:00:00 2001
From: toy <toy>
Date: Fri, 4 Oct 2002 17:11:09 +0000
Subject: [PATCH] Don't mark cmu-user-letter.tex as .INTERMEDIATE because gnu
 make creates it then deletes it before generating the dvi file.

(Is this right?)
---
 docs/cmu-user/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/cmu-user/Makefile b/docs/cmu-user/Makefile
index 3614246aa..b83a103a5 100644
--- a/docs/cmu-user/Makefile
+++ b/docs/cmu-user/Makefile
@@ -41,7 +41,7 @@ FILES = *.tex
 %.gz : %
 	gzip --best $<
 
-.INTERMEDIATE: cmu-user-letter.tex
+#.INTERMEDIATE: cmu-user-letter.tex
 cmu-user-letter.tex: cmu-user.tex
 	cp $< $@
 	perl -pi -e 's/documentclass\[a4paper\]/documentclass\[letter\]/' $@
-- 
GitLab