mquery BUILD_DOCS "Build and install the documentation?" n "--enable-docs" "--disable-docs"
