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 "AUTHOR"
    Documentation/git-for-each-ref.1:275:.SH "DOCUMENTATION"
    Documentation/git-http-backend.1:404:.SH "AUTHOR"
    Documentation/git-http-backend.1:407:.SH "DOCUMENTATION"
    Documentation/git-notes.1:395:.SH "AUTHOR"
    Documentation/git-notes.1:398:.SH "DOCUMENTATION"
    Documentation/git-remote-ext.1:133:.SH "DOCUMENTATION"
    Documentation/git-remote-fd.1:71:.SH "DOCUMENTATION"

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 the removal of these sections?

I don't want to step on any feet here.  If you want to keep these
sections, I have no objection.  But my guess is that people added them
in these few instances without realizing that these sections are not
commonly used in Git documentation.

Michael

-- 
Michael Haggerty
mhag...@alum.mit.edu
http://softwareswirl.blogspot.com/
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to