Petter Reinholdtsen 83b25ffb88 Missing b-f documentation is not a fatal error. Keep ... building if it is missing.		2004-06-27 22:48:19 +00:00
..
installtools.sh	Missing b-f documentation is not a fatal error. Keep	2004-06-27 22:48:19 +00:00
upgrade.sh	* Added set -e for shell scripts.	2000-02-19 17:52:52 +00:00