diff options
author | aurelien <tek@localhost.localdomain> | 2012-11-13 21:38:38 +0100 |
---|---|---|
committer | aurelien <tek@localhost.localdomain> | 2012-11-13 21:38:38 +0100 |
commit | ae1a1f5bf720924d0274dfc749a8084374443b2f (patch) | |
tree | 3f15fbe6f46184a4b378cfe02ad73728576a7981 /pcr/gnuit/gnuit.install | |
parent | 8eba14b29abd2ce680d3dab6ba6f6cd0a6b5b918 (diff) |
gnuit i686
Diffstat (limited to 'pcr/gnuit/gnuit.install')
-rw-r--r-- | pcr/gnuit/gnuit.install | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/pcr/gnuit/gnuit.install b/pcr/gnuit/gnuit.install new file mode 100644 index 000000000..e26e79dae --- /dev/null +++ b/pcr/gnuit/gnuit.install @@ -0,0 +1,16 @@ +infodir=usr/share/info +file=gnuit.info + +post_install() { + [[ -x usr/bin/install-info ]] || return 0 + install-info "$infodir/$file.gz" "$infodir/dir" 2> /dev/null +} + +post_upgrade() { + post_install "$1" +} + +pre_remove() { + [[ -x usr/bin/install-info ]] || return 0 + install-info --delete "$infodir/$file.gz" "$infodir/dir" 2> /dev/null +} |