Re: git-show documentation

On Wed, Jun 04, 2008 at 02:50:13AM +0200, Lea Wiemann [off-list ref] wrote:

Just in case someone wants to fix it, man git-log lists a --header option 
(by including rev-list-options.txt), but it doesn't actually support this 
option.  Perhaps rev-list-options.txt should be copy-and-pasted instead of 
included so local changes can be made to git-log.txt.

Perhaps asciidoc defines would be better than copy&pasting?