config_query JEDIT_DOCS_HTML "Build HTML docs?" y    &&
config_query JEDIT_DOCS_JAVA "Build JAVADOC docs?" y
config_query JEDIT_DOCS_PDF_A4 "Build A4 PDF docs?" y
config_query JEDIT_DOCS_PDF_US "Build US-Letter PDF docs?" y
