diff options
author | Fantix King | 2012-09-22 17:43:17 +0800 |
---|---|---|
committer | Fantix King | 2015-11-08 20:36:27 +0800 |
commit | d075d963a7f9eb1d10d8a76dbeaae94a376cadd1 (patch) | |
tree | b7cb65eda42d6cc08ef0690cf9493d6494c55c08 /gcc-ada.install | |
download | aur-d075d963a7f9eb1d10d8a76dbeaae94a376cadd1.tar.gz |
4.7.1-4.1
Diffstat (limited to 'gcc-ada.install')
-rw-r--r-- | gcc-ada.install | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/gcc-ada.install b/gcc-ada.install new file mode 100644 index 000000000000..df0553a4f4b7 --- /dev/null +++ b/gcc-ada.install @@ -0,0 +1,20 @@ +infodir=usr/share/info +filelist=(gnat-style.info gnat_rm.info gnat_ugn.info) + +post_install() { + [ -x usr/bin/install-info ] || return 0 + for file in ${filelist[@]}; do + install-info $infodir/$file.gz $infodir/dir 2> /dev/null + done +} + +post_upgrade() { + post_install $1 +} + +pre_remove() { + [ -x usr/bin/install-info ] || return 0 + for file in ${filelist[@]}; do + install-info --delete $infodir/$file.gz $infodir/dir 2> /dev/null + done +} |