1 infodir=/usr/share/info
2 filelist=(gcl-si.info gcl-tk.info gcl-tk.info-1 gcl-tk.info-2 gcl.info
3 gcl.info-1 gcl.info-2 gcl.info-3 gcl.info-4 gcl.info-5 gcl.info-6
4 gcl.info-7 gcl.info-8 gcl.info-9)
7 for file in ${filelist[@]}; do
8 install-info $infodir/$file $infodir/dir 2> /dev/null
17 for file in ${filelist[@]}; do
18 install-info --delete $infodir/$file $infodir/dir 2> /dev/null