config_query  ARGOUML_DOCS  "Would you like to install the manuals?"  y
