config_query DOCU "Build and install documentation?" n
