From ebfb29814ef24c6c5b1fdbd0fb258bdb19005847 Mon Sep 17 00:00:00 2001
From: coq
Date: Wed, 26 Jul 2000 08:54:50 +0000
Subject: dvips -o  ==>  dvips -o $@

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@572 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/Makefile b/doc/Makefile
index 487da84e4b..f4b0c7ef6c 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -28,5 +28,5 @@ clean::
 	latex $< && latex $<
 
 .dvi.ps:
-	dvips $< -o
+	dvips $< -o $@
 
-- 
cgit v1.2.3