# Update the /usr/info/dir info-database, so that we will see the new
# "autoconf" item in info root structure, if we type "info".
if [ -x /usr/bin/install-info ] ; then
 install-info --info-dir=/usr/info /usr/info/autoconf.info.gz 2>/dev/null
elif fgrep "Autoconf" usr/info/dir 1> /dev/null 2> /dev/null ; then
 GOOD=yes # It seems to be entered in the /usr/info/dir already
else # add the info to the dir file directly:
cat << EOF >> usr/info/dir

Miscellaneous
* Autoconf: (autoconf).         Create source code configuration scripts.
EOF
fi

You are viewing proxied material from ftp.icm.edu.pl. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.