diff options
| author | Mattias Andrée <maandree@operamail.com> | 2014-03-08 03:43:25 +0100 |
|---|---|---|
| committer | Mattias Andrée <maandree@operamail.com> | 2014-03-08 03:43:25 +0100 |
| commit | 32fa76d177d57ed870683e32a23dade6462d1a2e (patch) | |
| tree | d22936e2ad66d297ab014b64d953608312ba35cc /dist/archlinux/stable/join-python.install | |
| parent | update makefile to install join.py (diff) | |
| download | join-python-32fa76d177d57ed870683e32a23dade6462d1a2e.tar.gz join-python-32fa76d177d57ed870683e32a23dade6462d1a2e.tar.bz2 join-python-32fa76d177d57ed870683e32a23dade6462d1a2e.tar.xz | |
dist1.0
Signed-off-by: Mattias Andrée <maandree@operamail.com>
Diffstat (limited to 'dist/archlinux/stable/join-python.install')
| -rw-r--r-- | dist/archlinux/stable/join-python.install | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/dist/archlinux/stable/join-python.install b/dist/archlinux/stable/join-python.install new file mode 100644 index 0000000..d94edce --- /dev/null +++ b/dist/archlinux/stable/join-python.install @@ -0,0 +1,21 @@ +# -*- shell-script -*- +_file="join-python" + +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 +} + |