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 $@ $<