r1830: debian fixes

[uffi.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 24853b3660ae91f152eb1039965ab9cd04450136..bec9e878f53643ee5102e1b5e502042281c35abf 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.22 2002/04/28 13:52:30 kevin Exp $
 #
 # This file, part of UFFI, is Copyright (c) 2002 by Kevin M. Rosenberg
 #
@@ -61,10 +61,7 @@ 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 ..)
 
@@ -97,7 +94,7 @@ ${DVIFILE}: ${TEXFILE}
 ps: ${PSFILE}
 
 ${PSFILE}: ${DVIFILE}
-       dvips -o ${PSFILE} ${DVIFILE}
+       dvips -o ${PSFILE} ${DVIFILE} > /dev/null
 
 .PHONY: clean
 clean: