config_query_option ICEDTEAWEB_DOCS "Build Javadoc documentation?" y \
                     "--enable-docs" "--disable-docs"                &&

config_query_option ICEDTEAWEB_PLUGIN "Build browser plugin?" y \
                    "--enable-plugin" "--disable-plugin"        


.