# Programer: Kevin M. Rosenberg
# Date Started: Mar 2002
#
-# CVS Id: $Id: Makefile,v 1.3 2002/03/23 14:59:27 kevin Exp $
+# CVS Id: $Id: Makefile,v 1.5 2002/04/07 09:24:22 kevin Exp $
#
# This file, part of UFFI, is Copyright (c) 2002 by Kevin M. Rosenberg
#
TMPFILES=${DOCFILE_BASE}.aux ${DOCFILE_BASE}.out ${DOCFILE_BASE}.log
DOCFILES=$(shell echo *.sgml)
+.PHONY: all dist check html tex pdf ps clean distclean
+
all: html pdf ps dvi
-dist-doc: html pdf
+dist: html pdf
CHECK=nsgmls -s -C catalog || exit 1
pdf: ${PDFFILE}
${PDFFILE}: ${TEXFILE}
- @pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}'
- @pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}'
- @pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}'
- @pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}'
+ @pdfjadetex -interaction=batchmode '\pdfcompresslevel=9' '\input ${TEXFILE}' > /dev/null
+ @pdfjadetex -interaction=batchmode '\pdfcompresslevel=9' '\input ${TEXFILE}' > /dev/null
+ @pdfjadetex -interaction=batchmode '\pdfcompresslevel=9' '\input ${TEXFILE}' > /dev/null
+ @pdfjadetex -interaction=batchmode '\pdfcompresslevel=9' '\input ${TEXFILE}' > /dev/null
dvi: ${DVIFILE}