diff options
author | Jörg Frings-Fürst <jff@merkur> | 2014-07-06 15:20:38 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <jff@merkur> | 2014-07-06 15:20:38 +0200 |
commit | 126bb8cb6b93240bb4d3a2b816b74c286c3d422b (patch) | |
tree | e66e1dfe77d53a52539489765c88d23e4423ae27 /packages/debian/patches/02gzip-manpage.dpatch |
Imported Upstream version 1.7.0upstream/1.7.0
Diffstat (limited to 'packages/debian/patches/02gzip-manpage.dpatch')
-rw-r--r-- | packages/debian/patches/02gzip-manpage.dpatch | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/packages/debian/patches/02gzip-manpage.dpatch b/packages/debian/patches/02gzip-manpage.dpatch new file mode 100644 index 0000000..6829218 --- /dev/null +++ b/packages/debian/patches/02gzip-manpage.dpatch @@ -0,0 +1,19 @@ +#! /bin/sh /usr/share/dpatch/dpatch-run +## 02gzip-manpage.dpatch by Alexander Wirt <formorer@debian.org> +## +## All lines beginning with `## DP:' are a description of the patch. +## DP: No description. + +@DPATCH@ +diff -urNad gcstar-0.4.1~/install gcstar-0.4.1/install +--- gcstar-0.4.1~/install 2006-10-14 09:25:28.000000000 +0200 ++++ gcstar-0.4.1/install 2006-10-14 09:25:36.000000000 +0200 +@@ -145,7 +145,7 @@ + mkpath $baseDir.'/man/man1'; + my $manPage = "$baseDir/man/man1/$binName.1"; + copy 'man/gcstar.1', $manPage; +- `gzip -f $manPage 2>&1 >/dev/null`; ++ `gzip -f -9 $manPage 2>&1 >/dev/null`; + + chmod 0755, $baseDir.'/bin/'.$binName; + |