diff options
| author | Mattias Andrée <maandree@operamail.com> | 2013-10-24 22:56:01 +0200 |
|---|---|---|
| committer | Mattias Andrée <maandree@operamail.com> | 2013-10-24 22:56:01 +0200 |
| commit | 9e893a16876fbc6a96236b18e5c246ccc8e10d3f (patch) | |
| tree | 3655da94cf1e9d4e5902ab3b696a724c11df1c27 /dist/archlinux/stable/gpp.install | |
| parent | set shebang (diff) | |
| download | gpp-9e893a16876fbc6a96236b18e5c246ccc8e10d3f.tar.gz gpp-9e893a16876fbc6a96236b18e5c246ccc8e10d3f.tar.bz2 gpp-9e893a16876fbc6a96236b18e5c246ccc8e10d3f.tar.xz | |
dist
Signed-off-by: Mattias Andrée <maandree@operamail.com>
Diffstat (limited to 'dist/archlinux/stable/gpp.install')
| -rw-r--r-- | dist/archlinux/stable/gpp.install | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/dist/archlinux/stable/gpp.install b/dist/archlinux/stable/gpp.install new file mode 100644 index 0000000..5204b7e --- /dev/null +++ b/dist/archlinux/stable/gpp.install @@ -0,0 +1,20 @@ +_file="gpp" + +infodir="usr/share/info" +file="${_file}.info.gz" + + +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 +} + |