Mercurial > mplayer.hg

diff DOCS/xml/Makefile.inc @ 15126:6555c01128b7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Support syntax checking only
author wight
date Mon, 11 Apr 2005 20:14:08 +0000
parents e589db41eb34
children 08f997fbe16d
line wrap: on
line diff
--- a/DOCS/xml/Makefile.inc	Mon Apr 11 15:36:12 2005 +0000
+++ b/DOCS/xml/Makefile.inc	Mon Apr 11 20:14:08 2005 +0000
@@ -30,13 +30,16 @@
 HTML_STYLESHEET ?= ../default.css
 
 # This is the main target...
-.PHONY: all html-chunked html-single
+.PHONY: all html-chunked html-single xmllint
 all: html-chunked html-single
 html-chunked: $(HTMLDIR)/index.html
 html-single: $(HTMLFILE)
 
 SYMLINKS_DEPS:=$(if $(findstring yes,$(USE_SYMLINKS)), $(patsubst ../en/%,%,$(wildcard ../en/*.xml)))
 
+xmllint: main.xml $(SYMLINKS_DEPS)
+	../xmllint.sh $<
+
 $(HTMLDIR)/index.html: main.xml $(CHUNK_XSL_DEPS) $(SYMLINKS_DEPS)
 ifndef HTMLDIR
 	$(warning $(HTMLDIR))