diff options
author | root <root@rshg054.dnsready.net> | 2012-06-19 00:01:39 +0000 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2012-06-19 00:01:39 +0000 |
commit | ca8fbff4eeda39b8a24515043ec4c8fdb95c23ee (patch) | |
tree | e31e0e223f205368e42e8f2378af9f8c76da0c0f /testing/gzip/gzip.install | |
parent | 014b5d0a1ee98ba0466f067f605b9637f2a14b2f (diff) |
Tue Jun 19 00:01:39 UTC 2012
Diffstat (limited to 'testing/gzip/gzip.install')
-rw-r--r-- | testing/gzip/gzip.install | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/testing/gzip/gzip.install b/testing/gzip/gzip.install new file mode 100644 index 000000000..43218d98e --- /dev/null +++ b/testing/gzip/gzip.install @@ -0,0 +1,15 @@ +infodir=usr/share/info + +post_install() { + [ -x usr/bin/install-info ] || return 0 + usr/bin/install-info $infodir/gzip.info.gz $infodir/dir 2> /dev/null +} + +post_upgrade() { + post_install $1 +} + +pre_remove() { + [ -x usr/bin/install-info ] || return 0 + usr/bin/install-info --delete $infodir/gzip.info.gz $infodir/dir 2> /dev/null +} |