doc-diff: replace --cut-header-footer with --cut-footer
authorMartin Ågren <martin.agren@gmail.com>
Mon, 16 Sep 2019 19:00:28 +0000 (21:00 +0200)
committerJunio C Hamano <gitster@pobox.com>
Mon, 16 Sep 2019 19:27:38 +0000 (12:27 -0700)
commit83b0b8953ee725068137714b04fd943893ab392e
tree49bc8e660e4177c75cf87e11080cbdc8f7ca4175
parent7a3013435831e77ca24f4bf234a8751eb59adeb2
doc-diff: replace --cut-header-footer with --cut-footer

After the previous commit, AsciiDoc and Asciidoctor render the manpage
headers identically, so we no longer need the "cut the header" part of
our `--cut-header-footer` option. We do still need the "cut the footer"
part, though. The previous commits improved the rendering of the footer
in Asciidoctor by quite a bit, but the two programs still disagree on
how to format the date in the footer: 01/01/1970 vs 1970-01-01.

We could keep using `--cut-header-footer`, but it would be nice if we
had a slightly smaller hammer `--cut-footer` that would be less likely
to hide regressions. Rather than simply adding such an option, let's
also drop `--cut-header-footer`, i.e., rework it to lose the "header"
part of its name and functionality.

`--cut-header-footer` is just a developer tool and it probably has no
more than a handful of users, so we can afford to be aggressive.

Signed-off-by: Martin Ågren <martin.agren@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/doc-diff