diff options
author | Mattias Andrée <maandree@kth.se> | 2017-10-17 17:29:06 +0200 |
---|---|---|
committer | Mattias Andrée <maandree@kth.se> | 2017-10-17 17:29:06 +0200 |
commit | d04679a2e30ecc35a68e876829984c9dfba710e4 (patch) | |
tree | 209cb4a0962153e7ca948d82e7efaa9b3db750ae /dist/archlinux/stable/exec-as.install | |
parent | update dist (diff) | |
download | exec-as-d04679a2e30ecc35a68e876829984c9dfba710e4.tar.gz exec-as-d04679a2e30ecc35a68e876829984c9dfba710e4.tar.bz2 exec-as-d04679a2e30ecc35a68e876829984c9dfba710e4.tar.xz |
Rewrite and relicense1.2
Signed-off-by: Mattias Andrée <maandree@kth.se>
Diffstat (limited to '')
-rw-r--r-- | dist/archlinux/stable/exec-as.install | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/dist/archlinux/stable/exec-as.install b/dist/archlinux/stable/exec-as.install deleted file mode 100644 index e25e4f0..0000000 --- a/dist/archlinux/stable/exec-as.install +++ /dev/null @@ -1,20 +0,0 @@ -_file="exec-as" - -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 -} - |