diff options
| author | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-11-18 17:13:56 -0300 |
|---|---|---|
| committer | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-11-18 17:13:56 -0300 |
| commit | e5e6eaf7e3cad31a74862656283728197b715178 (patch) | |
| tree | 2b6c997f1bf5d936019a1dfc741b192208270e1b /pcr/gnuit/gnuit.install | |
| parent | 7eff80609dcc365658c94f899d4a3a298e8fb5dd (diff) | |
| parent | dcb01f130dac1b244e0ed9fe0041d92a130ab427 (diff) | |
| download | abslibre-e5e6eaf7e3cad31a74862656283728197b715178.tar.gz abslibre-e5e6eaf7e3cad31a74862656283728197b715178.tar.bz2 abslibre-e5e6eaf7e3cad31a74862656283728197b715178.zip | |
Merge branch 'master' of ssh://gparabola/srv/git/abslibre
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 +} |