diff options
| -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 |