TargetPlatform=i386-unknown-freebsd;;
i[[3456]]86-*-netbsd*)
TargetPlatform=i386-unknown-netbsd;;
+i[[3456]]86-*-openbsd*)
+ TargetPlatform=i386-unknown-openbsd;;
i[[3456]]86-*-solaris2*)
TargetPlatform=i386-unknown-solaris2;;
i[[3456]]86-*-cygwin32*)
echo "****************************************************"
echo "Configuration done, ready to either 'make install'"
-echo "or 'make in-place', followed by 'make install-docs'."
+echo "or 'make in-place'."
echo "(see README and INSTALL files for more info.)"
echo "****************************************************"