diff options
| -rw-r--r-- | Carpet/doc/Makefile | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/Carpet/doc/Makefile b/Carpet/doc/Makefile index cdd7f1d9c..8c402b013 100644 --- a/Carpet/doc/Makefile +++ b/Carpet/doc/Makefile @@ -1,8 +1,8 @@ -# $Header: /home/eschnett/C/carpet/Carpet/Carpet/doc/Makefile,v 1.1 2002/11/29 10:43:43 schnetter Exp $ +# $Header: /home/eschnett/C/carpet/Carpet/Carpet/doc/Makefile,v 1.2 2002/11/29 16:48:35 schnetter Exp $ NAME=documentation -all: ${NAME}.dvi ${NAME}.ps ${NAME}.pdf +all: ${NAME}.dvi ${NAME}.ps ${NAME}.ps.gz ${NAME}.pdf ${NAME}.dvi: carpet.bib @@ -20,7 +20,10 @@ ${NAME}.dvi: carpet.bib thumbpdf $* pdflatex $* +%.gz: % + gzip --best -c $* > $*.gz + clean: - $(RM) ${NAME}.aux ${NAME}.bbl ${NAME}.blg ${NAME}.dvi ${NAME}.log ${NAME}.out ${NAME}.pdf ${NAME}.ps ${NAME}.tpt + $(RM) ${NAME}.aux ${NAME}.bbl ${NAME}.blg ${NAME}.dvi ${NAME}.log ${NAME}.out ${NAME}.pdf ${NAME}.ps ${NAME}.ps.gz ${NAME}.tpt .PSEUDO: all clean |