Merge branch 'db/doc-custom-xmlto'
commit8ccd4b68a7aceee11e12814e4ef0aee8ae5f958d
authorJunio C Hamano <gitster@pobox.com>
Tue, 25 Sep 2012 17:39:48 +0000 (25 10:39 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 25 Sep 2012 17:39:48 +0000 (25 10:39 -0700)
tree5c978e3e73f44804c8cf65d5572f0888c7beab02
parent8e609b270ad3ca4db2e9b7ba14c1d36d2deb8563
parentdd4f30756150c921ce9acc7b3d0970ff5a6e1158
Merge branch 'db/doc-custom-xmlto'

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