config_query GNUSTEP_BUILD_DOC "Build and install documentation?" n
