doc: fix config API documentation about config_with_options
commitf7997e36821d816710658874784cd538d134dee2
authorAntonio Ospite <ao2@ao2.it>
Wed, 9 May 2018 13:16:28 +0000 (9 15:16 +0200)
committerJunio C Hamano <gitster@pobox.com>
Fri, 11 May 2018 01:26:33 +0000 (11 10:26 +0900)
tree5977cad02b0691c311b162e12090ac6546c3ea11
parent468165c1d8a442994a825f3684528361727cd8c0
doc: fix config API documentation about config_with_options

In commit dc8441fdb ("config: don't implicitly use gitdir or commondir",
2017-06-14) the function git_config_with_options was renamed to
config_with_options to better reflect the fact that it does not access
the git global config or the repo config by default.

However Documentation/technical/api-config.txt still refers to the
previous name, fix that.

While at it also update the documentation about the extra parameters,
because they too changed since the initial definition.

Signed-off-by: Antonio Ospite <ao2@ao2.it>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/technical/api-config.txt