[Pkg-zsh-commits] [SCM] Debian zsh package branch, debian, updated. debian/5.0.2-2-11-g336b60e

Sat Jan 5 04:04:21 UTC 2013

The following commit has been merged in the debian branch:
commit 8c5e79181b14e3503676ca576f1203d9a7eb8ca3
Author: Axel Beckert <abe at deuxchevaux.org>
Date:   Sat Jan 5 03:58:45 2013 +0100

    Drop no more necessary manual compression of info files

diff --git a/debian/rules b/debian/rules
index ea7752d..54b1b44 100755
--- a/debian/rules
+++ b/debian/rules
@@ -119,7 +119,6 @@ binary-indep:	checkroot build-indep
 
 	cd obj && $(MAKE) install.info DESTDIR=$(CURDIR)/debian/zsh-doc
 	rm -f debian/zsh-doc/usr/share/info/dir*
-	gzip -9frq debian/zsh-doc/usr/share/info/*
 	cd obj && $(MAKE) install.html DESTDIR=$(CURDIR)/debian/zsh-doc htmldir=/usr/share/doc/$(package)-doc/html
 # Work around texi2html unfriendliness
 	sed -i -e 's/<BODY.*>/<BODY LANG="EN">/' debian/zsh-doc/usr/share/doc/$(package)-doc/html/*.html

-- 
Debian zsh package

