diff options
Diffstat (limited to 'guile.install')
| -rw-r--r-- | guile.install | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/guile.install b/guile.install new file mode 100644 index 000000000000..254538007d02 --- /dev/null +++ b/guile.install @@ -0,0 +1,20 @@ +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 +} |