config_query DOCUMENTATION "Do you want to install extra documentation (it needs tetex)?" n
