1 infodir=/usr/share/info
2 filelist=(gforth.info vmgen.info)
5 for file in ${filelist[@]}; do
6 install-info $infodir/$file $infodir/dir 2> /dev/null
15 for file in ${filelist[@]}; do
16 install-info --delete $infodir/$file $infodir/dir 2> /dev/null