diff options
author | Stefan Husmann | 2016-06-08 20:25:04 +0200 |
---|---|---|
committer | Stefan Husmann | 2016-06-08 20:25:04 +0200 |
commit | 0d4c1c68f5efb652f379f2479945b62a200d9421 (patch) | |
tree | 2ac1b9e7c3a003176d3695176c87bd88c6bd80d0 /guile.install | |
parent | 69cd2e8eaf84a0682aabb1536ef6cb3ba0c3a3e2 (diff) | |
download | aur-0d4c1c68f5efb652f379f2479945b62a200d9421.tar.gz |
remove install file
Diffstat (limited to 'guile.install')
-rw-r--r-- | guile.install | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/guile.install b/guile.install deleted file mode 100644 index 254538007d02..000000000000 --- a/guile.install +++ /dev/null @@ -1,20 +0,0 @@ -infodir=usr/share/info -filelist=(r5rs guile) - -post_install() { - [[ -x usr/bin/install-info ]] || return 0 - for file in "${filelist[@]}"; do - install-info "$infodir/$file.info.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.info.gz" "$infodir/dir" 2> /dev/null - done -} |