r1822: *** empty log message ***

[uffi.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 24853b3660ae91f152eb1039965ab9cd04450136..67cd9c025a17816c26725752955ec9ac118f6d21 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -5,7 +5,7 @@
 #  Programer:    Kevin M. Rosenberg
 #  Date Started: Mar 2002
 #
-#  CVS Id:   $Id: Makefile,v 1.20 2002/04/28 09:23:27 kevin Exp $
+#  CVS Id:   $Id: Makefile,v 1.21 2002/04/28 09:37:40 kevin Exp $
 #
 # This file, part of UFFI, is Copyright (c) 2002 by Kevin M. Rosenberg
 #
@@ -97,7 +97,7 @@ ${DVIFILE}: ${TEXFILE}
 ps: ${PSFILE}
 
 ${PSFILE}: ${DVIFILE}
-       dvips -o ${PSFILE} ${DVIFILE}
+       dvips -o ${PSFILE} ${DVIFILE} > /dev/null
 
 .PHONY: clean
 clean: