# HG changeset patch # User diego # Date 1272927658 0 # Node ID 783f8faee539c022ee66d7af15a55516b8c5ba74 # Parent a259f3d8694d310b90e9a745dadb62676129b27c Put symlinks under revision control instead of generating them during make. This simplifies the build system and should have no practical disadvantage. diff -r a259f3d8694d -r 783f8faee539 DOCS/xml/Makefile --- a/DOCS/xml/Makefile Mon May 03 22:45:00 2010 +0000 +++ b/DOCS/xml/Makefile Mon May 03 23:00:58 2010 +0000 @@ -57,7 +57,6 @@ releaseclean: -rm -f $(CONFIGURE_GENERATED) -rm -f $(MAIN_XML_ALL) - -rm -f $$(find . -name *.xml -type l) distclean: clean releaseclean diff -r a259f3d8694d -r 783f8faee539 DOCS/xml/Makefile.inc --- a/DOCS/xml/Makefile.inc Mon May 03 22:45:00 2010 +0000 +++ b/DOCS/xml/Makefile.inc Mon May 03 23:00:58 2010 +0000 @@ -13,24 +13,19 @@ html-chunked: $(HTMLDIR)/index.html html-single: $(HTMLDIR)/MPlayer.html -SYMLINKS_DEPS := $(filter-out $(wildcard *.xml),$(notdir $(wildcard ../en/*.xml))) - -xmllint: main.xml $(SYMLINKS_DEPS) +xmllint: main.xml ../xmllint.sh $< $(HTMLDIR)/default.css: cp -f ../default.css $(@D) -$(HTMLDIR)/index.html: main.xml $(CHUNK_XSL_DEPS) $(SYMLINKS_DEPS) xmllint $(HTMLDIR)/default.css +$(HTMLDIR)/index.html: main.xml $(CHUNK_XSL_DEPS) xmllint $(HTMLDIR)/default.css ../xsltproc.sh $(HTMLDIR)/ $(HTML_CHUNK_XSL) $< -$(HTMLDIR)/MPlayer.html: main.xml $(SINGLE_XSL_DEPS) $(SYMLINKS_DEPS) xmllint $(HTMLDIR)/default.css +$(HTMLDIR)/MPlayer.html: main.xml $(SINGLE_XSL_DEPS) xmllint $(HTMLDIR)/default.css ../xsltproc.sh $@ $(HTML_SINGLE_XSL) $< ../html-chunk.xsl ../html-single.xsl main.xml: cd .. && sh configure -$(SYMLINKS_DEPS): - ln -s ../en/$@ $@ - .PHONY: all html-chunked html-single xmllint diff -r a259f3d8694d -r 783f8faee539 DOCS/xml/es/encoding-guide.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/DOCS/xml/es/encoding-guide.xml Mon May 03 23:00:58 2010 +0000 @@ -0,0 +1,1 @@ +../en/encoding-guide.xml \ No newline at end of file diff -r a259f3d8694d -r 783f8faee539 DOCS/xml/es/radio.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/DOCS/xml/es/radio.xml Mon May 03 23:00:58 2010 +0000 @@ -0,0 +1,1 @@ +../en/radio.xml \ No newline at end of file diff -r a259f3d8694d -r 783f8faee539 DOCS/xml/it/ports.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/DOCS/xml/it/ports.xml Mon May 03 23:00:58 2010 +0000 @@ -0,0 +1,1 @@ +../en/ports.xml \ No newline at end of file diff -r a259f3d8694d -r 783f8faee539 DOCS/xml/it/skin.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/DOCS/xml/it/skin.xml Mon May 03 23:00:58 2010 +0000 @@ -0,0 +1,1 @@ +../en/skin.xml \ No newline at end of file diff -r a259f3d8694d -r 783f8faee539 DOCS/xml/zh_CN/encoding-guide.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/DOCS/xml/zh_CN/encoding-guide.xml Mon May 03 23:00:58 2010 +0000 @@ -0,0 +1,1 @@ +../en/encoding-guide.xml \ No newline at end of file diff -r a259f3d8694d -r 783f8faee539 DOCS/xml/zh_CN/faq.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/DOCS/xml/zh_CN/faq.xml Mon May 03 23:00:58 2010 +0000 @@ -0,0 +1,1 @@ +../en/faq.xml \ No newline at end of file diff -r a259f3d8694d -r 783f8faee539 DOCS/xml/zh_CN/install.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/DOCS/xml/zh_CN/install.xml Mon May 03 23:00:58 2010 +0000 @@ -0,0 +1,1 @@ +../en/install.xml \ No newline at end of file diff -r a259f3d8694d -r 783f8faee539 DOCS/xml/zh_CN/ports.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/DOCS/xml/zh_CN/ports.xml Mon May 03 23:00:58 2010 +0000 @@ -0,0 +1,1 @@ +../en/ports.xml \ No newline at end of file diff -r a259f3d8694d -r 783f8faee539 DOCS/xml/zh_CN/skin.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/DOCS/xml/zh_CN/skin.xml Mon May 03 23:00:58 2010 +0000 @@ -0,0 +1,1 @@ +../en/skin.xml \ No newline at end of file diff -r a259f3d8694d -r 783f8faee539 DOCS/xml/zh_CN/tvinput.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/DOCS/xml/zh_CN/tvinput.xml Mon May 03 23:00:58 2010 +0000 @@ -0,0 +1,1 @@ +../en/tvinput.xml \ No newline at end of file diff -r a259f3d8694d -r 783f8faee539 DOCS/xml/zh_CN/usage.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/DOCS/xml/zh_CN/usage.xml Mon May 03 23:00:58 2010 +0000 @@ -0,0 +1,1 @@ +../en/usage.xml \ No newline at end of file diff -r a259f3d8694d -r 783f8faee539 DOCS/xml/zh_CN/video.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/DOCS/xml/zh_CN/video.xml Mon May 03 23:00:58 2010 +0000 @@ -0,0 +1,1 @@ +../en/video.xml \ No newline at end of file