mquery USE_DOCS "Build documentation?" n "-DBUILD_doc=ON" "-DBUILD_doc=OFF"
