On 01/22/2014 12:22 PM, Michael Haggerty wrote:
> I just noticed that there are exactly four Git manpages with an "AUTHOR"
> section and five with a "DOCUMENTATION" section:
>
> $ make doc
> $ grep -nIE -e '^\.SH "DOCUMENTATION|AUTHOR"' Documentation/*.[0-9]
> Documentation/git-column.
On Wed, Jan 22, 2014 at 12:22:23PM +0100, Michael Haggerty wrote:
> I just noticed that there are exactly four Git manpages with an "AUTHOR"
> section and five with a "DOCUMENTATION" section:
>
> These sections are inconsistent with the other manpages and seem
> superfluous in a project that has,
On Wed, Jan 22, 2014 at 3:22 AM, Michael Haggerty wrote:
> I just noticed that there are exactly four Git manpages with an "AUTHOR"
> section and five with a "DOCUMENTATION" section:
>
> $ make doc
> $ grep -nIE -e '^\.SH "DOCUMENTATION|AUTHOR"' Documentation/*.[0-9]
> Documentation/gi
Michael Haggerty writes:
> I just noticed that there are exactly four Git manpages with an "AUTHOR"
> section and five with a "DOCUMENTATION" section:
>
> $ make doc
> $ grep -nIE -e '^\.SH "DOCUMENTATION|AUTHOR"' Documentation/*.[0-9]
> Documentation/git-column.1:80:.SH "AUTHOR"
>
Hi Michael,
On Wed, 22 Jan 2014, Michael Haggerty wrote:
> Would the mentioned authors (CCed) consent to the removal of these
> sections?
Fine by me!
Dscho
P.S.: Congrats on your new job!
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vge
On Wed, Jan 22, 2014 at 12:39 PM, Duy Nguyen wrote:
> On Wed, Jan 22, 2014 at 6:22 PM, Michael Haggerty
> wrote:
>> These sections are inconsistent with the other manpages and seem
>> superfluous in a project that has, on the one hand, a public history
>> and, on the other hand, hundreds of cont
On Wed, Jan 22, 2014 at 6:22 PM, Michael Haggerty wrote:
> These sections are inconsistent with the other manpages and seem
> superfluous in a project that has, on the one hand, a public history
> and, on the other hand, hundreds of contributors. Would the mentioned
> authors (CCed) consent to th
I just noticed that there are exactly four Git manpages with an "AUTHOR"
section and five with a "DOCUMENTATION" section:
$ make doc
$ grep -nIE -e '^\.SH "DOCUMENTATION|AUTHOR"' Documentation/*.[0-9]
Documentation/git-column.1:80:.SH "AUTHOR"
Documentation/git-for-each-ref.1:272:.
8 matches
Mail list logo