From: Manoj Srivastava Date: Thu, 16 Jun 2005 05:39:47 +0000 (+0000) Subject: gzipped ps and pdf (hm, there should probably be a way to make the .gz rules more... X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=c215e5e67c533942b7cf3a0a324e0bbe172c6020;p=debian%2Fdebian-policy.git gzipped ps and pdf (hm, there should probably be a way to make the .gz rules more generic, but i can't be bothered to look it up) Author: joy Date: 2003/05/10 17:42:40 gzipped ps and pdf (hm, there should probably be a way to make the .gz rules more generic, but i can't be bothered to look it up) git-archimport-id: srivasta@debian.org--etch/debian-policy--devel--3.0--patch-221 --- diff --git a/Makefile b/Makefile index f8d6572..575a00d 100644 --- a/Makefile +++ b/Makefile @@ -22,9 +22,15 @@ mime-policy.sgml: version.ent %.ps: %.sgml debiandoc2latexps $< +%.ps.gz: %.ps + gzip -cf9 $< > $@ + %.pdf: %.sgml debiandoc2latexpdf $< +%.pdf.gz: %.pdf + gzip -cf9 $< > $@ + # convenience aliases :) html: policy.html/index.html txt text: policy.txt