Merge branch 'da/mergetool-docs'
authorJunio C Hamano <gitster@pobox.com>
Thu, 7 Feb 2013 22:42:08 +0000 (14:42 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 7 Feb 2013 22:42:16 +0000 (14:42 -0800)
commit39ca1bd88256ea482305b7e0acc943ef14e4b36d
tree263d715e9f62be9995ecba9979c26ae10523ef41
parenteeaf4e7c32f09ef9daa45f9d5ff4713aad9b7d8e
parentf35ec546008e8390e0fd8e545680e72fae0efa35
Merge branch 'da/mergetool-docs'

Build on top of the clean-up done by jk/mergetool and automatically
generate the list of mergetool and difftool backends the build
supports to be included in the documentation.

* da/mergetool-docs:
  doc: generate a list of valid merge tools
  mergetool--lib: list user configured tools in '--tool-help'
  mergetool--lib: add functions for finding available tools
  mergetool--lib: improve the help text in guess_merge_tool()
  mergetool--lib: simplify command expressions
Documentation/Makefile
Documentation/diff-config.txt
Documentation/merge-config.txt