config_query_list GIT_DOC "which documentation" manpages htmldocs both none