# HG changeset patch
# User diego
# Date 1273613595 0
# Node ID 6d19129bcd9ef5047f6a73a5b1fb12f31f6a4fcf
# Parent  729ce4709ce1abd140c44b70a7699099a016b6b0
cosmetics: Invoke all shell scripts during XML documentation build directly.

diff -r 729ce4709ce1 -r 6d19129bcd9e DOCS/xml/Makefile
--- a/DOCS/xml/Makefile	Tue May 11 21:31:36 2010 +0000
+++ b/DOCS/xml/Makefile	Tue May 11 21:33:15 2010 +0000
@@ -31,7 +31,7 @@
 xmllint: $(addprefix xmllint-,$(DOC_LANGS))
 
 $(CONFIGURE_GENERATED) $(MAIN_XML_ALL):
-	sh configure
+	./configure
 
 define lang-def
 html-chunked-$(lang): $(HTML)/$(lang)/index.html