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:.SH
On Wed, Jan 22, 2014 at 6:22 PM, Michael Haggerty mhag...@alum.mit.edu 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
On Wed, Jan 22, 2014 at 12:39 PM, Duy Nguyen pclo...@gmail.com wrote:
On Wed, Jan 22, 2014 at 6:22 PM, Michael Haggerty mhag...@alum.mit.edu
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
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
Michael Haggerty mhag...@alum.mit.edu 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
On Wed, Jan 22, 2014 at 3:22 AM, Michael Haggerty mhag...@alum.mit.edu 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]
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 the
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.1:80:.SH
8 matches
Mail list logo