Documentation/Makefile: Allow custom XMLTO binary
authorDave Borowitz <dborowitz@google.com>
Wed, 19 Sep 2012 17:06:37 +0000 (10:06 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 19 Sep 2012 23:35:10 +0000 (16:35 -0700)
commitdd4f30756150c921ce9acc7b3d0970ff5a6e1158
tree65e336149191704c3c34a7879c0d066b2057b0e2
parent304b7d99a705e8c125650dda347a571402222a3e
Documentation/Makefile: Allow custom XMLTO binary

Signed-off-by: Dave Borowitz <dborowitz@google.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/Makefile