path: root/development/mit-scheme/doinst.sh

info_install() {
  INFO="$1"
  if [ -x /usr/bin/install-info ]; then
    chroot . /usr/bin/install-info --info-dir=/usr/info $INFO 2> /dev/null
  fi
}