diff options
author | aksr | 2015-11-02 18:26:01 +0100 |
---|---|---|
committer | aksr | 2015-11-02 18:26:01 +0100 |
commit | 2b00fe20d786be01d0cb471b11dbcbefdcbc94dd (patch) | |
tree | 771aea419ed59ad14d07e2fe908b7aa69fdf3576 /gnuit.install | |
download | aur-2b00fe20d786be01d0cb471b11dbcbefdcbc94dd.tar.gz |
Start.
Diffstat (limited to 'gnuit.install')
-rw-r--r-- | gnuit.install | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/gnuit.install b/gnuit.install new file mode 100644 index 000000000000..e26e79dae6dd --- /dev/null +++ b/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 +} |