doing a source install of git v1.7.12.1,
on the `make all doc` step, I get:
XMLTO git-push.1
xmlto: input does not validate (status 3)
/usr/local/git-git-51993a4/Documentation/git-push.xml:113: element literal:
validity error : Element emphasis is not declared in literal list of possible
children
Document /usr/local/git-git-51993a4/Documentation/git-push.xml does not validate
make[1]: *** [git-push.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
-------------------------------------------
113c113
< <literal>git push --prune remote refs/heads/:refs/tmp/</literal> would
---
> <literal>git push --prune remote refs/heads/<emphasis
> role="strong">:refs/tmp/</emphasis></literal> would
--
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(); }
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to [email protected]
More majordomo info at http://vger.kernel.org/majordomo-info.html
