summaryrefslogtreecommitdiff
path: root/libraries/mpir/doinst.sh
blob: 89045ca79679334a12e0699a1c2d1381cbc6f7be (plain)
1
2
3
4
5
if [ -x /usr/bin/install-info ]; then
  chroot . /usr/bin/install-info --info-dir=/usr/info /usr/info/mpir.info.gz 2> /dev/null
  chroot . /usr/bin/install-info --info-dir=/usr/info /usr/info/mpir.info-1.gz 2> /dev/null
  chroot . /usr/bin/install-info --info-dir=/usr/info /usr/info/mpir.info-2.gz 2> /dev/null
fi