From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 17 Oct 2012 17:25:37 +0000 (-0700)
Subject: Merge branch 'db/doc-custom-xmlto' into maint
X-Git-Tag: v1.7.12.4~11
X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=19100d3f7db17a85dc58265ae5388b1bf483f44f;p=git.git

Merge branch 'db/doc-custom-xmlto' into maint

* db/doc-custom-xmlto:
  Documentation/Makefile: Allow custom XMLTO binary
---

19100d3f7db17a85dc58265ae5388b1bf483f44f