diff options
| author | Mattias Andrée <maandree@operamail.com> | 2014-12-03 11:27:17 +0100 | 
|---|---|---|
| committer | Mattias Andrée <maandree@operamail.com> | 2014-12-03 11:27:17 +0100 | 
| commit | 18729adb073da134e2381962bba39de5bd077db6 (patch) | |
| tree | 1cdc143153bd020914736e60eda4c4b5fa83965f /dist/archlinux/stable/krandom.install | |
| parent | derp (diff) | |
| download | krandom-18729adb073da134e2381962bba39de5bd077db6.tar.gz krandom-18729adb073da134e2381962bba39de5bd077db6.tar.bz2 krandom-18729adb073da134e2381962bba39de5bd077db6.tar.xz | |
dist
Signed-off-by: Mattias Andrée <maandree@operamail.com>
Diffstat (limited to '')
| -rw-r--r-- | dist/archlinux/stable/krandom.install | 20 | 
1 files changed, 20 insertions, 0 deletions
| diff --git a/dist/archlinux/stable/krandom.install b/dist/archlinux/stable/krandom.install new file mode 100644 index 0000000..c756c7f --- /dev/null +++ b/dist/archlinux/stable/krandom.install @@ -0,0 +1,20 @@ +_file="krandom" + +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 +} + | 
