diff options
author | Brendan <brendan@tiddles.me> | 2013-06-27 20:22:52 +1000 |
---|---|---|
committer | Brendan <brendan@tiddles.me> | 2013-06-27 20:22:52 +1000 |
commit | 949ee72ae4bf239e60c86db4f55ea4e809a54e6c (patch) | |
tree | e6303ba988071fb8fc3466a55e43426ef9496478 /~brendan/guile/guile.install | |
parent | bf69f302f87eb836d5ebec3a9ea67f2b54401ceb (diff) |
Revert "Deleting my ~brendan directory because it is not needed."
This reverts commit a6b628ef005727ee5baab0b23066438f62098172.
Diffstat (limited to '~brendan/guile/guile.install')
-rw-r--r-- | ~brendan/guile/guile.install | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/~brendan/guile/guile.install b/~brendan/guile/guile.install new file mode 100644 index 000000000..ed113ab8f --- /dev/null +++ b/~brendan/guile/guile.install @@ -0,0 +1,23 @@ +infodir=usr/share/info +filelist=(guile.info + r5rs.info) + +post_install() { + [ -x usr/bin/install-info ] || return 0 + for file in ${filelist[@]}; do + install-info $infodir/$file $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 $infodir/dir 2> /dev/null + done +} + +# vim:set ts=2 sw=2 et: |