#! /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