r1763: *** empty log message ***

[uffi.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index d2f56e0ee394ed9bdf62044bc6e3ffbd43e47d6a..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.10 2002/04/06 19:23:04 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
 #
@@ -55,54 +55,57 @@ DVIFILE=${DOCFILE_BASE}.dvi
 TMPFILES=${DOCFILE_BASE}.aux ${DOCFILE_BASE}.out ${DOCFILE_BASE}.log
 DOCFILES=$(shell echo *.sgml)
 
+.PHONY: all dist check html tex pdf ps distclean
+
 all: html pdf ps dvi
 
-dist-doc: html pdf
+dist: html pdf
 
 CHECK=nsgmls -s -C catalog || exit 1
 
 check:
-       $(CHECK)
+       @$(CHECK)
 
 html: html/book1.htm
 
 html/book1.htm: ${DOCFILES} 
-       $(CHECK)
-       ( rm -rf html ; mkdir html; cd html ; jade -t sgml -c ../catalog -d ${DSSSL_HTML} ../${DOCFILE}; cd ..)
+       @$(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}
 
 ${PDFFILE}: ${TEXFILE}
-       pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}' > /dev/null
-       pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}' > /dev/null
-       pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}' > /dev/null
-       pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}' > /dev/null
+       @pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}' > /dev/null
+       @pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}' > /dev/null
+       @pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}' > /dev/null
+       @pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}' > /dev/null
 
 dvi: ${DVIFILE}
 
 ${DVIFILE}: ${TEXFILE}
-       jadetex ${TEXFILE}
-       jadetex ${TEXFILE}
-       jadetex ${TEXFILE}
-       jadetex ${TEXFILE}
+       @jadetex ${TEXFILE}
+       @jadetex ${TEXFILE}
+       @jadetex ${TEXFILE}
+       @jadetex ${TEXFILE}
 
 ps: ${PSFILE}
 
 ${PSFILE}: ${DVIFILE}
-       dvips -o ${PSFILE} ${DVIFILE}
+       @dvips -o ${PSFILE} ${DVIFILE}
 
 clean:
        @rm -rf html
        @rm -f ${PSFILE} ${PDFFILE} ${DVIFILE} ${TEXFILE}
-       @rm -f ${TMPFILES}
+       @rm -f ${TMPFILES} *~
+       @rm -f
+
+distclean: clean
 
-realclean: clean
-       @rm -f *~