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

##
# US-letter errors with a nullpointer exception...
#
##
#config_query JEDIT_DOCS_PDF_US "Build US-Letter PDF docs?" y
