diff options
| author | wight <wight@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2005-04-11 20:14:08 +0000 |
|---|---|---|
| committer | wight <wight@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2005-04-11 20:14:08 +0000 |
| commit | 3a55ecbebf57f01582995dc3ed7869d75c41ab6b (patch) | |
| tree | 88c48bb753dd776427a356ab8a4f0e34f3c60c3d /DOCS/xml/Makefile.inc | |
| parent | ecf7883c720a547e55527c7895fd5e9106edc13a (diff) | |
| download | mpv-3a55ecbebf57f01582995dc3ed7869d75c41ab6b.tar.bz2 mpv-3a55ecbebf57f01582995dc3ed7869d75c41ab6b.tar.xz | |
Support syntax checking only
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@15127 b3059339-0415-0410-9bf9-f77b7e298cf2
Diffstat (limited to 'DOCS/xml/Makefile.inc')
| -rw-r--r-- | DOCS/xml/Makefile.inc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/DOCS/xml/Makefile.inc b/DOCS/xml/Makefile.inc index dd8530e3ab..15d7d9042f 100644 --- a/DOCS/xml/Makefile.inc +++ b/DOCS/xml/Makefile.inc @@ -30,13 +30,16 @@ endif 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)) |