aboutsummaryrefslogtreecommitdiff
path: root/development/mit-scheme/doinst.sh
blob: 9670c925ff9b3d9052d03d916233859af851eab4 (plain)
1
2
3
4
5
6
7
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
}