diff options
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 -} |