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: https://git.lorimer.id.au/gitweb.git/diff_plain/19100d3f7db17a85dc58265ae5388b1bf483f44f

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

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

19100d3f7db17a85dc58265ae5388b1bf483f44f