# HG changeset patch
# User diego
# Date 1260792182 0
# Node ID 0dacb57a3d3e6c1028dbce7b26943c5453fa7b42
# Parent  997ae534ebfe018789b5cdf42d19780877b865cd
Filter list of missing source files so that it only contains nonexisting files.
Thus those files can be symlinked directly without testing if they exist.

diff -r 997ae534ebfe -r 0dacb57a3d3e DOCS/xml/Makefile.inc
--- a/DOCS/xml/Makefile.inc	Mon Dec 14 11:54:49 2009 +0000
+++ b/DOCS/xml/Makefile.inc	Mon Dec 14 12:03:02 2009 +0000
@@ -13,7 +13,7 @@
 html-chunked: $(HTMLDIR)/index.html
 html-single:  $(HTMLDIR)/MPlayer.html
 
-SYMLINKS_DEPS := $(filter-out main.xml,$(notdir $(wildcard ../en/*.xml)))
+SYMLINKS_DEPS := $(filter-out $(wildcard *.xml),$(notdir $(wildcard ../en/*.xml)))
 
 xmllint: main.xml $(SYMLINKS_DEPS)
 	../xmllint.sh $<
@@ -31,6 +31,6 @@
 	cd .. && sh configure
 
 $(SYMLINKS_DEPS):
-	test -r $(@F) || ln -s ../en/$@ $@
+	ln -s ../en/$@ $@
 
 .PHONY: all html-chunked html-single xmllint