diff --git a/docs/cmu-user/Makefile b/docs/cmu-user/Makefile index dcb5add7fde4a260d854f21ea8093e6fc646a592..15ae1ad44709c73b4426bfd1e05240c26f8ccbc1 100644 --- a/docs/cmu-user/Makefile +++ b/docs/cmu-user/Makefile @@ -85,6 +85,12 @@ all: cmu-user.ps %.ps : %.ps1 psset -d -o $@ $< +# Tar up the html files +cmu-user-html.tgz : cmu-user.html + mkdir cmu-user + cp *.html *.gif cmu-user + tar cf - cmu-user | gzip > cmu-user-html.tgz + # generate Postscript for letter format, instead of for A4 paper .INTERMEDIATE: cmu-user-letter.tex cmu-user-letter.tex: cmu-user.tex