diff options
Diffstat (limited to 'pcr/gnuit/gnuit.install')
-rw-r--r-- | pcr/gnuit/gnuit.install | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/pcr/gnuit/gnuit.install b/pcr/gnuit/gnuit.install deleted file mode 100644 index e26e79dae..000000000 --- a/pcr/gnuit/gnuit.install +++ /dev/null @@ -1,16 +0,0 @@ -infodir=usr/share/info -file=gnuit.info - -post_install() { - [[ -x usr/bin/install-info ]] || return 0 - install-info "$infodir/$file.gz" "$infodir/dir" 2> /dev/null -} - -post_upgrade() { - post_install "$1" -} - -pre_remove() { - [[ -x usr/bin/install-info ]] || return 0 - install-info --delete "$infodir/$file.gz" "$infodir/dir" 2> /dev/null -} |