r1742: *** empty log message ***

[uffi.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index c843fa5747fa572891eabb285c6d36d2690db11e..d2f56e0ee394ed9bdf62044bc6e3ffbd43e47d6a 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.9 2002/03/23 16:32:39 kevin Exp $
+#  CVS Id:   $Id: Makefile,v 1.10 2002/04/06 19:23:04 kevin Exp $
 #
 # This file, part of UFFI, is Copyright (c) 2002 by Kevin M. Rosenberg
 #
@@ -79,10 +79,10 @@ ${TEXFILE}: ${DOCFILES}
 pdf: ${PDFFILE}
 
 ${PDFFILE}: ${TEXFILE}
-       pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}'
-       pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}'
-       pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}'
-       pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}'
+       pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}' > /dev/null
+       pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}' > /dev/null
+       pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}' > /dev/null
+       pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}' > /dev/null
 
 dvi: ${DVIFILE}