From c215e5e67c533942b7cf3a0a324e0bbe172c6020 Mon Sep 17 00:00:00 2001 From: Manoj Srivastava Date: Thu, 16 Jun 2005 05:39:47 +0000 Subject: [PATCH] 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 --- Makefile | 6 ++++++ 1 file changed, 6 insertions(+) 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 -- 2.39.5