r1859: *** empty log message ***

[uffi.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 2a80c14f6b27c46057a709b3efe44a23a8476066..3509c73c0b27b1d04843e4e11c142459da63415f 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.23 2002/04/30 19:02:33 kevin Exp $
+#  CVS Id:   $Id: Makefile,v 1.24 2002/05/01 01:00:51 kevin Exp $
 #
 # This file, part of UFFI, is Copyright (c) 2002 by Kevin M. Rosenberg
 #
@@ -62,14 +62,14 @@ check:
        $(CHECK)
 
 html: $(DOCFILES)
-       $(CHECK)
+       @$(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 ..)
 
 .PHONY: tex
 tex: ${TEXFILE}
 
 ${TEXFILE}: ${DOCFILES}
-       $(CHECK)
+       @$(CHECK)
        @jade -t tex -c ${CATALOG} -d ${DSSSL_PRINT} ${DOCFILE} > /dev/null
 
 .PHONY: pdf