Re: [PATCH] maint: update help2man to 1.43.3

[Bernhard Voelker]

On 09/09/2013 11:41 PM, Pádraig Brady wrote:
> On 09/09/2013 09:55 PM, Bernhard Voelker wrote:
>> Shall I push?

> All looks good, please push.

Thanks, pushed:
http://git.sv.gnu.org/cgit/coreutils.git/commit/?id=54a155a3

> I was a bit surprised that the git diff didn't
> indicate the help2man.in was a rename.

Yes, interestingly, git recognized the rename during pulling in
from my local 'help2man' to the local master branch ... with the
same 'git config' as I had during 'git format-patch', i.e. without
"diff.renames" being explicitly set:

  git pull . help2man
  From .
   * branch            help2man   -> FETCH_HEAD
  Updating b86437e..54a155a
  Fast-forward
   .gitignore                    |   1 +
   .x-update-copyright           |   3 ++
   cfg.mk                        |  10 ++--
   man/help2man.diff             |  32 ++++++++++++
   man/{help2man => help2man.in} | 432
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++-----------------------------------------------------------
   man/local.mk                  |  10 ++++
   6 files changed, 323 insertions(+), 165 deletions(-)
   create mode 100644 .x-update-copyright
   create mode 100644 man/help2man.diff
   rename man/{help2man => help2man.in} (52%)

Thanks & have a nice day,
Berny