diff options
| author | Nicolás Reynolds <fauno@endefensadelsl.org> | 2014-01-28 03:27:16 +0000 |
|---|---|---|
| committer | Nicolás Reynolds <fauno@endefensadelsl.org> | 2014-01-28 03:27:16 +0000 |
| commit | 462391357aa5e749dc9908c15f3baa0b4416f3d8 (patch) | |
| tree | 11d4d3f054aae9ffd869adc634054f64a16d83b8 /pcr/gcc-gcj/gcc-gcj.install | |
| parent | 748e32a3a886569b58a27003e85b76be5746153d (diff) | |
Tue Jan 28 03:22:21 UTC 2014
Diffstat (limited to 'pcr/gcc-gcj/gcc-gcj.install')
| -rw-r--r-- | pcr/gcc-gcj/gcc-gcj.install | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/pcr/gcc-gcj/gcc-gcj.install b/pcr/gcc-gcj/gcc-gcj.install deleted file mode 100644 index 916aa6a17..000000000 --- a/pcr/gcc-gcj/gcc-gcj.install +++ /dev/null @@ -1,20 +0,0 @@ -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 |