bug report, v1.7.12.1 -- Documentation/git-config.xml:643: parser error

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

xmlto: input does not validate (status 1)
/usr/local/git-git-51993a4/Documentation/git-config.xml:643: parser error : Opening and ending tag mismatch: subscript line 643 and literal
ude.path</literal> is subject to tilde expansion: <literal><subscript>/</literal
                                                                               ^
/usr/local/git-git-51993a4/Documentation/git-config.xml:644: parser error : Opening and ending tag mismatch: literal line 644 and subscript
is expanded to the value of <literal>$HOME</literal>, and <literal></subscript>u
                                                                               ^
/usr/local/git-git-51993a4/Documentation/git-config.xml:1354: parser error : Opening and ending tag mismatch: subscript line 1354 and literal
   of files which are not meant to be tracked.  "<literal><subscript>/</literal>
                                                                               ^
/usr/local/git-git-51993a4/Documentation/git-config.xml:1355: parser error : Opening and ending tag mismatch: literal line 1355 and subscript
        to the value of <literal>$HOME</literal> and "<literal></subscript>user/
                                                                           ^
/usr/local/git-git-51993a4/Documentation/git-config.xml:2304: parser error : Opening and ending tag mismatch: subscript line 2304 and literal
        "<literal><subscript>/</literal>" is expanded to the value of <literal>$
                                        ^
/usr/local/git-git-51993a4/Documentation/git-config.xml:2304: parser error : Opening and ending tag mismatch: literal line 2304 and subscript
 is expanded to the value of <literal>$HOME</literal> and "<literal></subscript>
                                                                               ^
/usr/local/git-git-51993a4/Documentation/git-config.xml:4609: parser error : Opening and ending tag mismatch: emphasis line 4609 and literal
oes not understand the version 2 <literal><emphasis role="strong">.idx</literal>
                                                                               ^
/usr/local/git-git-51993a4/Documentation/git-config.xml:4611: parser error : Opening and ending tag mismatch: literal line 4611 and emphasis
that will copy both <literal></emphasis>.pack</literal> file and corresponding <
                                        ^
/usr/local/git-git-51993a4/Documentation/git-config.xml:4611: parser error : Opening and ending tag mismatch: emphasis line 4611 and literal
/literal> file and corresponding <literal><emphasis role="strong">.idx</literal>
                                                                               ^
/usr/local/git-git-51993a4/Documentation/git-config.xml:4613: parser error : Opening and ending tag mismatch: literal line 4613 and emphasis
older version of git. If the <literal></emphasis>.pack</literal> file is smaller
                                                 ^
/usr/local/git-git-51993a4/Documentation/git-config.xml:4617: parser error : Opening and ending tag mismatch: literal line 4617 and emphasis
the <literal></emphasis>.idx</literal> file.</simpara>
                        ^
/usr/local/git-git-51993a4/Documentation/git-config.xml:4617: parser error : Opening and ending tag mismatch: emphasis line 4616 and literal
the <literal></emphasis>.idx</literal> file.</simpara>
                                      ^
/usr/local/git-git-51993a4/Documentation/git-config.xml:4666: parser error : Opening and ending tag mismatch: emphasis line 4666 and literal
ral>git config pretty.changelog "format:<emphasis role="strong"> %H %s"</literal
                                                                               ^
/usr/local/git-git-51993a4/Documentation/git-config.xml:4668: parser error : Opening and ending tag mismatch: literal line 4668 and emphasis
       to be equivalent to running <literal>git log "--pretty=format:</emphasis>
                                                                               ^
make[1]: *** [git-config.1] Error 1
make[1]: Leaving directory `/usr/local/git-git-51993a4/Documentation'
make: *** [doc] Error 2

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

643,644c643,644 < found. The value of <literal>include.path</literal> is subject to tilde expansion: <literal>/</literal> < is expanded to the value of <literal>$HOME</literal>, and <literal>user/</literal> to the specified ---

1354,1355c1354,1355 < of files which are not meant to be tracked. "<literal>/</literal>" is expanded < to the value of <literal>$HOME</literal> and "<literal>user/</literal>" to the specified user's ---

2304c2304 < "<literal>/</literal>" is expanded to the value of <literal>$HOME</literal> and "<literal>user/</literal>" to the ---

4609c4609 < <simpara>If you have an old git that does not understand the version 2 <literal>.idx</literal> file, ---

4611c4611 < that will copy both <literal>.pack</literal> file and corresponding <literal>.idx</literal> file from the ---

4613c4613 < older version of git. If the <literal>.pack</literal> file is smaller than 2 GB, however, ---

4616,4617c4616,4617 < </citerefentry> on the .pack file to regenerate < the <literal>.idx</literal> file.</simpara> ---

4666c4666 < running <literal>git config pretty.changelog "format: %H %s"</literal> ---

4668c4668 < to be equivalent to running <literal>git log "--pretty=format: %H %s"</literal>. ---

------------------------------------------- -------------------------------------------

The next bug relates to: Documentation/git-fast-import.xml another patch coming under separate cover.