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

Support syntax checking only
author wight
date Mon, 11 Apr 2005 20:14:08 +0000
parents e589db41eb34
children 08f997fbe16d
comparison
equal deleted inserted replaced
15125:f983c121124a 15126:6555c01128b7
28 28
29 # Fall back to the default HTML stylesheet if none is specified. 29 # Fall back to the default HTML stylesheet if none is specified.
30 HTML_STYLESHEET ?= ../default.css 30 HTML_STYLESHEET ?= ../default.css
31 31
32 # This is the main target... 32 # This is the main target...
33 .PHONY: all html-chunked html-single 33 .PHONY: all html-chunked html-single xmllint
34 all: html-chunked html-single 34 all: html-chunked html-single
35 html-chunked: $(HTMLDIR)/index.html 35 html-chunked: $(HTMLDIR)/index.html
36 html-single: $(HTMLFILE) 36 html-single: $(HTMLFILE)
37 37
38 SYMLINKS_DEPS:=$(if $(findstring yes,$(USE_SYMLINKS)), $(patsubst ../en/%,%,$(wildcard ../en/*.xml))) 38 SYMLINKS_DEPS:=$(if $(findstring yes,$(USE_SYMLINKS)), $(patsubst ../en/%,%,$(wildcard ../en/*.xml)))
39
40 xmllint: main.xml $(SYMLINKS_DEPS)
41 ../xmllint.sh $<
39 42
40 $(HTMLDIR)/index.html: main.xml $(CHUNK_XSL_DEPS) $(SYMLINKS_DEPS) 43 $(HTMLDIR)/index.html: main.xml $(CHUNK_XSL_DEPS) $(SYMLINKS_DEPS)
41 ifndef HTMLDIR 44 ifndef HTMLDIR
42 $(warning $(HTMLDIR)) 45 $(warning $(HTMLDIR))
43 $(warning Error: HTMLDIR not set!!!) 46 $(warning Error: HTMLDIR not set!!!)