bug report, v1.7.12.1 -- Documentation/git-grep.xml:601: element literal: validity error

bug report, v1.7.12.1 -- Documentation/git-grep.xml:601: element literal: validity error

[Hugh Esco]

doing a source install of git v1.7.12.1, 
on the `make all doc` step, I get:

   XMLTO git-grep.1
xmlto: input does not validate (status 3)
/usr/local/git-git-51993a4/Documentation/git-grep.xml:601: element literal: validity error : Element emphasis is not declared in literal list of possible children
/usr/local/git-git-51993a4/Documentation/git-grep.xml:601: element literal: validity error : Element emphasis is not declared in literal list of possible children
/usr/local/git-git-51993a4/Documentation/git-grep.xml:612: element literal: validity error : Element emphasis is not declared in literal list of possible children
Document /usr/local/git-git-51993a4/Documentation/git-grep.xml does not validate
make[1]: *** [git-grep.1] Error 3
make[1]: Leaving directory `/usr/local/git-git-51993a4/Documentation'
make: *** [doc] Error 2

-------------------------------------------
and the patch which permitted me to proceed
-------------------------------------------

601c601
> <literal>git grep time_t &#8212; *.[ch]</literal>
---
< <literal>git grep <emphasis>time_t</emphasis> &#8212; <emphasis>*.[ch]</emphasis></literal>
612c612
< <literal>git grep -e #define --and \( -e MAX_PATH -e PATH_MAX \)</literal>
---
> <literal>git grep -e <emphasis>#define</emphasis> --and \( -e MAX_PATH -e PATH_MAX \)</literal>

-- 
Hugh Esco 
skype: hresco3_ ; 678-921-8186 x21 
http://www.CampaignFoundations.com/
Providing Application Hosting, Telephony, 
Custom Development and Consulting Services 
to Green Candidates, Green Parties and
the non profits working for a just and sustainable future.

if( $insurance->rationing() ) { $people->die(); }
if( isa_ok($self,'Troy::Davis') =~ m/^ok/) { $people->are_whole(); }