texmacs (1:1.0.7.4-3.1) 08_gzipbest.dpatch

Summary

 Makefile.in |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

    
download this patch

Patch contents

#! /bin/sh -e
## 08_gzipbest.dpatch by Ralf Treinen <treinen@debian.org>
##
## All lines beginning with `## DP:' are a description of the patch.
## DP: use gzip with maximal compression level

if [ $# -lt 1 ]; then
    echo "`basename $0`: script expects -patch|-unpatch as argument" >&2
    exit 1
fi

[ -f debian/patches/00patch-opts ] && . debian/patches/00patch-opts
patch_opts="${patch_opts:--f --no-backup-if-mismatch} ${2:+-d $2}"

case "$1" in
    -patch) patch -p1 ${patch_opts} < $0;;
    -unpatch) patch -R -p1 ${patch_opts} < $0;;
    *)
        echo "`basename $0`: script expects -patch|-unpatch as argument" >&2
        exit 1;;
esac

exit 0

@DPATCH@
diff -urNad /home/rt/debian/own/texmacs/SARGE/texmacs-1.0.3/Makefile.in texmacs-1.0.3/Makefile.in
--- /home/rt/debian/own/texmacs/SARGE/texmacs-1.0.3/Makefile.in	2004-01-13 21:00:38.000000000 +0100
+++ texmacs-1.0.3/Makefile.in	2004-04-04 19:16:33.000000000 +0200
@@ -30,7 +30,7 @@
 MV = mv -f
 LN = ln -f
 CHMOD = @CONFIG_CHMOD@
-GZIP = gzip -f
+GZIP = gzip -f --best
 STRIP = @CONFIG_STRIP@
 TOUCH = touch