diff options
author | Axel Beckert <abe@deuxchevaux.org> | 2013-01-05 03:58:45 +0100 |
---|---|---|
committer | Axel Beckert <abe@deuxchevaux.org> | 2013-01-05 03:58:45 +0100 |
commit | 8c5e79181b14e3503676ca576f1203d9a7eb8ca3 (patch) | |
tree | 15fd2621b51f6139782314cbfcbcca01ad1b9aa7 | |
parent | 74416133ead519fd0faddf8d4e920143df7bb15f (diff) | |
download | zsh-8c5e79181b14e3503676ca576f1203d9a7eb8ca3.tar.gz zsh-8c5e79181b14e3503676ca576f1203d9a7eb8ca3.zip |
Drop no more necessary manual compression of info files
-rwxr-xr-x | debian/rules | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index ea7752d4f..54b1b445c 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 |