# HG changeset patch
# User diego
# Date 1260763585 0
# Node ID bf0e351cdb2034faf1190ed7c6079cd588aa2ac9
# Parent  8b075e14285c55320107d343d69fe6be5e9a092b
Use $(notdir ) to filter out path prefixes instead of reinventing it poorly.

diff -r 8b075e14285c -r bf0e351cdb20 DOCS/xml/Makefile.inc
--- a/DOCS/xml/Makefile.inc	Mon Dec 14 03:50:34 2009 +0000
+++ b/DOCS/xml/Makefile.inc	Mon Dec 14 04:06:25 2009 +0000
@@ -13,7 +13,7 @@
 html-chunked: $(HTMLDIR)/index.html
 html-single:  $(HTMLDIR)/MPlayer.html
 
-SYMLINKS_DEPS := $(filter-out main.xml,$(patsubst ../en/%,%,$(wildcard ../en/*.xml)))
+SYMLINKS_DEPS := $(filter-out main.xml,$(notdir $(wildcard ../en/*.xml)))
 
 xmllint: main.xml $(SYMLINKS_DEPS)
 	../xmllint.sh $<