r1837: debian updates

[uffi.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 24853b3660ae91f152eb1039965ab9cd04450136..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.20 2002/04/28 09:23:27 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
 #
@@ -61,12 +61,9 @@ CHECK=nsgmls -s -C ${CATALOG} || exit 1
 check:
        $(CHECK)
 
-.PHONY: html
-html: html/book1.htm
-
-html/book1.htm: ${DOCFILES} 
+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}
@@ -88,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}
+       @dvips -o ${PSFILE} ${DVIFILE} > /dev/null
 
 .PHONY: clean
 clean: