config_query DOCU "Build and install documentation?" y
