r1763: *** empty log message ***

[uffi.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index b887aad66fb3321355ab1451899e70ee2dd1075b..5123a72a206c7de6d230b95aa1e99c13828fc404 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.11 2002/04/07 09:12:35 kevin Exp $
+#  CVS Id:   $Id: Makefile,v 1.12 2002/04/07 09:17:51 kevin Exp $
 #
 # This file, part of UFFI, is Copyright (c) 2002 by Kevin M. Rosenberg
 #
@@ -61,18 +61,22 @@ all: html pdf ps dvi
 
 dist: html pdf
 
+CHECK=nsgmls -s -C catalog || exit 1
+
 check:
-       nsgmls -s -C catalog || exit 1
+       @$(CHECK)
 
 html: html/book1.htm
 
-html/book1.htm: ${DOCFILES} check
+html/book1.htm: ${DOCFILES} 
+       @$(CHECK)
        @( rm -rf html ; mkdir html; cd html ; jade -t sgml -c ../catalog -d ${DSSSL_HTML} ../${DOCFILE}; cd ..)
 
 tex: ${TEXFILE}
 
-${TEXFILE}: ${DOCFILES} check
-       jade -t tex -c catalog -d ${DSSSL_PRINT} ${DOCFILE}
+${TEXFILE}: ${DOCFILES} 
+       @$(CHECK)
+       @jade -t tex -c catalog -d ${DSSSL_PRINT} ${DOCFILE}
 
 pdf: ${PDFFILE}