aboutsummaryrefslogtreecommitdiff
path: root/development/source-highlight/doinst.sh
blob: 1bef5020286eac9719379eb3101ac0d140e190b2 (plain)
1
2
3
4
5
6
if [ -x /usr/bin/install-info -a -d usr/info ]; then
  ( cd usr/info
    rm -f dir
    for i in *.info*; do /usr/bin/install-info $i dir 2>/dev/null; done
  )
fi