config_query_list GIT_DOC "which documentation" manpages htmldocs none
