r1837: debian updates

[uffi.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index bec9e878f53643ee5102e1b5e502042281c35abf..2a80c14f6b27c46057a709b3efe44a23a8476066 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.22 2002/04/28 13:52:30 kevin Exp $
+#  CVS Id:   $Id: Makefile,v 1.23 2002/04/30 19:02:33 kevin Exp $
 #
 # This file, part of UFFI, is Copyright (c) 2002 by Kevin M. Rosenberg
 #
@@ -63,7 +63,7 @@ check:
 
 html: $(DOCFILES)
        $(CHECK)
-       ( rm -rf html ; mkdir html; cd html ; jade -t sgml -c ../${CATALOG} -d ${DSSSL_HTML} ../${DOCFILE} > /dev/null; ln -s book1.html index.html; cd ..)
+       @( rm -rf html ; mkdir html; cd html ; jade -t sgml -c ../${CATALOG} -d ${DSSSL_HTML} ../${DOCFILE} > /dev/null; ln -s book1.html index.html; cd ..)
 
 .PHONY: tex
 tex: ${TEXFILE}
@@ -85,16 +85,16 @@ ${PDFFILE}: ${TEXFILE}
 dvi: ${DVIFILE}
 
 ${DVIFILE}: ${TEXFILE}
-       jadetex ${TEXFILE} > /dev/null
-       jadetex ${TEXFILE} > /dev/null
-       jadetex ${TEXFILE} > /dev/null
-       jadetex ${TEXFILE} > /dev/null
+       @jadetex ${TEXFILE} > /dev/null
+       @jadetex ${TEXFILE} > /dev/null
+       @jadetex ${TEXFILE} > /dev/null
+       @jadetex ${TEXFILE} > /dev/null
 
 .PHONY: ps
 ps: ${PSFILE}
 
 ${PSFILE}: ${DVIFILE}
-       dvips -o ${PSFILE} ${DVIFILE} > /dev/null
+       @dvips -o ${PSFILE} ${DVIFILE} > /dev/null
 
 .PHONY: clean
 clean: