diff options
author | Alad Wenter | 2017-09-11 01:18:21 +0200 |
---|---|---|
committer | Alad Wenter | 2017-09-11 01:18:21 +0200 |
commit | b4f2ef4901d477a45b476174263a03cd7860faf0 (patch) | |
tree | cc317df70327cd578b4166c314ad375b0bba91c1 | |
parent | 71341573af6a4ae05f3728fa315dca3ef40fdb77 (diff) | |
download | aur-b4f2ef4901d477a45b476174263a03cd7860faf0.tar.gz |
rm bash.install
-rw-r--r-- | bash.install | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/bash.install b/bash.install deleted file mode 100644 index a10e6e909a66..000000000000 --- a/bash.install +++ /dev/null @@ -1,16 +0,0 @@ -info_dir=usr/share/info -info_files=(bash.info) - -post_upgrade() { - [ -x usr/bin/install-info ] || return 0 - for f in ${info_files[@]}; do - usr/bin/install-info ${info_dir}/$f.gz ${info_dir}/dir 2> /dev/null - done -} - -pre_remove() { - [ -x usr/bin/install-info ] || return 0 - for f in ${info_files[@]}; do - usr/bin/install-info --delete ${info_dir}/$f.gz ${info_dir}/dir 2> /dev/null - done -} |