1 info_dir=/usr/share/info
2 info_files=(gnuplot.info.gz)
5 if [ -f /usr/bin/mktexlsr ]; then
6 echo "Updating TeX tree..."
9 for f in ${info_files[@]}; do
10 install-info ${info_dir}/$f ${info_dir}/dir 2> /dev/null
19 for f in ${info_files[@]}; do
20 install-info --delete ${info_dir}/$f ${info_dir}/dir 2> /dev/null
25 if [ -f /usr/bin/mktexlsr ]; then
26 echo "Updating TeX tree..."