diff options
author | root <root@rshg054.dnsready.net> | 2012-11-14 01:13:06 -0800 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2012-11-14 01:13:06 -0800 |
commit | 6fa5f08247aef1f757f376ef12bd4a6257c124f2 (patch) | |
tree | b743d1e7cbc92a595661ecd730522cee45ebcabe /pcr/gcc-gcj/gcc-gcj.install | |
parent | a29329c38e50afd28d28c3a99e35d8774b9b19f8 (diff) |
Wed Nov 14 01:13:05 PST 2012
Diffstat (limited to 'pcr/gcc-gcj/gcc-gcj.install')
-rw-r--r-- | pcr/gcc-gcj/gcc-gcj.install | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/pcr/gcc-gcj/gcc-gcj.install b/pcr/gcc-gcj/gcc-gcj.install new file mode 100644 index 000000000..916aa6a17 --- /dev/null +++ b/pcr/gcc-gcj/gcc-gcj.install @@ -0,0 +1,20 @@ +infodir=usr/share/info +filelist=(cp-tools-gcj.info) + +post_install() { + [[ -x usr/bin/install-info ]] || return 0 + for file in "${filelist[@]}"; do + install-info "$infodir/$file.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.gz" "$infodir/dir" 2> /dev/null + done +}
\ No newline at end of file |