K 10 svn:author V 4 dirk K 8 svn:date V 27 2001-08-13T21:50:34.000000Z K 7 svn:log V 145 Cleanup: - rename INSTALL_DB_FORCE to SKIP_DNS_CHECK - add additional comments for build options - move printing of build option to server part END