infodir=usr/share/info
filelist="history.info readline.info rluserman.info"

post_upgrade() {
  [ -x usr/bin/install-info ]
  for file in ${filelist}; do
    install-info $infodir/$file.gz $infodir/dir 2> /dev/null
  done
}

pre_remove() {
  [ -x usr/bin/install-info ]
  for file in ${filelist}; do
    install-info --delete $infodir/$file.gz $infodir/dir 2> /dev/null
  done
}

