# HG changeset patch
# User diego
# Date 1260762634 0
# Node ID 8b075e14285c55320107d343d69fe6be5e9a092b
# Parent  0eba66234d64bca89101e688b2cf491a14ae6fc9
Avoid hackish shell loop to symlink missing XML source files.
Instead, employ make syntax to generate the shell command arguments.

diff -r 0eba66234d64 -r 8b075e14285c DOCS/xml/Makefile.inc
--- a/DOCS/xml/Makefile.inc	Mon Dec 14 03:43:54 2009 +0000
+++ b/DOCS/xml/Makefile.inc	Mon Dec 14 03:50:34 2009 +0000
@@ -31,8 +31,6 @@
 	cd .. && sh configure
 
 $(SYMLINKS_DEPS):
-	for file in ../en/*.xml ; do \
-	test -r `basename $$file` || ln -s $$file `basename $$file` ; \
-	done
+	test -r $(@F) || ln -s ../en/$@ $@
 
 .PHONY: all html-chunked html-single xmllint