diff options
| author | root <root@rshg054.dnsready.net> | 2012-07-12 00:04:35 +0000 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2012-07-12 00:04:35 +0000 |
| commit | 00d32b0938eebfa45f0543cae655abf5233eb99c (patch) | |
| tree | 7528e734c1f6f955da0baca5909906e797562c09 /testing/readline/readline.install | |
| parent | b44e3e7f16abe5e4cb428571db65d300b7cc44be (diff) | |
Thu Jul 12 00:04:34 UTC 2012
Diffstat (limited to 'testing/readline/readline.install')
| -rw-r--r-- | testing/readline/readline.install | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/testing/readline/readline.install b/testing/readline/readline.install new file mode 100644 index 000000000..06b646f23 --- /dev/null +++ b/testing/readline/readline.install @@ -0,0 +1,17 @@ +infodir=usr/share/info +filelist=(history.info readline.info rluserman.info) + +post_upgrade() { + [ -x usr/bin/install-info ] || return 0 + for file in ${filelist[@]}; do + install-info $infodir/$file.gz $infodir/dir 2> /dev/null + done +} + +pre_remove() { + [ -x usr/bin/install-info ] || return 0 + for file in ${filelist[@]}; do + install-info --delete $infodir/$file.gz $infodir/dir 2> /dev/null + done +} + |