From 3931c0a810bc8bb9d7b06d8b30d05a017cb07768 Mon Sep 17 00:00:00 2001
From: Marcus Hardt <marcus@jannet.de>
Date: Thu, 26 Jul 2001 16:21:21 +0000
Subject: [PATCH] tex.mk: Dvips does not print automatically anymore

---
 make/tex.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make/tex.mk b/make/tex.mk
index cc38c93a..6c4537f1 100644
--- a/make/tex.mk
+++ b/make/tex.mk
@@ -170,7 +170,7 @@ $(OUT).html.zip: $(HTMLDIR)
 
 $(OUTPUT).ps: $(OUTPUT).dvi
 	@echo "-- creating postscript file"
-	dvips $<
+	dvips -f $< > $(OUTPUT).ps
 
 $(OUT).ps.zip: $(OUTPUT).ps
 	zip $@ $<