blob: c8e04ff4cee57c87d91cbc5559728b9c7ac9c626 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
# 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 grep -F "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
|
