]> git.donarmstrong.com Git - debian/debian-policy.git/commitdiff
gzipped ps and pdf (hm, there should probably be a way to make the .gz rules more...
authorManoj Srivastava <srivasta@debian.org>
Thu, 16 Jun 2005 05:39:47 +0000 (05:39 +0000)
committerManoj Srivastava <srivasta@debian.org>
Thu, 16 Jun 2005 05:39:47 +0000 (05:39 +0000)
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

Makefile

index f8d6572368869a5123ba89c94285329165839b42..575a00dd2c2bff5e894b9944f73ce801cc700819 100644 (file)
--- 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