# HG changeset patch
# User diego
# Date 1260761532 0
# Node ID 542d8831b5df6403b3123816ec6726de01f19d27
# Parent  79720cbec6726e7de766db7e4d5f88a31397eb5a
Simplify shell command to symlink missing translated source files.

diff -r 79720cbec672 -r 542d8831b5df DOCS/xml/Makefile.inc
--- a/DOCS/xml/Makefile.inc	Mon Dec 14 03:19:01 2009 +0000
+++ b/DOCS/xml/Makefile.inc	Mon Dec 14 03:32:12 2009 +0000
@@ -32,9 +32,7 @@
 
 $(filter-out main.xml, $(patsubst ../en/%,%, $(wildcard ../en/*.xml))):
 	for file in ../en/*.xml ; do \
-	if ! test -r `basename $$file` ; then \
-		ln -s $$file `basename $$file` ; \
-	fi; \
+	test -r `basename $$file` || ln -s $$file `basename $$file` ; \
 	done
 
 .PHONY: all html-chunked html-single xmllint