diff options
author | Mattias Andrée | 2015-12-01 04:08:42 +0100 |
---|---|---|
committer | Mattias Andrée | 2015-12-01 04:08:42 +0100 |
commit | b07c24d878ad6a176d13fd4ca12230088ad7d0ec (patch) | |
tree | 5b458f58530487b6be920a1b916873f133106c45 /pp.install | |
download | aur-b07c24d878ad6a176d13fd4ca12230088ad7d0ec.tar.gz |
Initial import, version 1.0
Diffstat (limited to 'pp.install')
-rw-r--r-- | pp.install | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/pp.install b/pp.install new file mode 100644 index 000000000000..0b9646d938e3 --- /dev/null +++ b/pp.install @@ -0,0 +1,20 @@ +_file="pp" + +infodir="usr/share/info" +file="${_file}.info" + + +post_install() { + [[ -x "usr/bin/install-info" ]] || return 0 + install-info -- "${infodir}/${file}" "${infodir}/dir" 2> /dev/null +} + +post_upgrade() { + post_install "$1" +} + +pre_remove() { + [[ -x "usr/bin/install-info" ]] || return 0 + install-info --delete -- "${infodir}/${file}" "${infodir}/dir" 2> /dev/null +} + |