config_query BUILD_DOCS "Build TeX documentation (adds dependencies on teTeX, psutils and linuxdoc-tools)?" n