DOCFILE_EXT=${DOCFILE_EXT_DEFAULT}
endif
-DOCFILE=${DOCFILE_BASE}.${DOCFILE_EXT}
-FOFILE=${DOCFILE_BASE}.fo
-PDFFILE=${DOCFILE_BASE}.pdf
-PSFILE=${DOCFILE_BASE}.ps
-DVIFILE=${DOCFILE_BASE}.dvi
-TXTFILE=${DOCFILE_BASE}.txt
-TMPFILES=${DOCFILE_BASE}.aux ${DOCFILE_BASE}.out ${DOCFILE_BASE}.log
-DOCFILES=$(shell echo *.xml)
+DOCFILE:=${DOCFILE_BASE}.${DOCFILE_EXT}
+FOFILE:=${DOCFILE_BASE}.fo
+PDFFILE:=${DOCFILE_BASE}.pdf
+PSFILE:=${DOCFILE_BASE}.ps
+DVIFILE:=${DOCFILE_BASE}.dvi
+TXTFILE:=${DOCFILE_BASE}.txt
+TMPFILES:=${DOCFILE_BASE}.aux ${DOCFILE_BASE}.out ${DOCFILE_BASE}.log
+DOCFILES:=$(shell echo *.xml)
+
+CHECK:=xmllint --noout --catalogs --xinclude --postvalid $(DOCFILE) || exit 1
.PHONY: all
all: html pdf
.PHONY: html
html: html.tar.gz
-html.tar.gz: $(DOCFILES) Makefile
+html.tar.gz: $(DOCFILES) Makefile check
@rm -rf html
- @xmlto -o html xhtml $(DOCFILE)
+ @xmlto --skip-validation -o html xhtml $(DOCFILE)
@GZIP='-9' tar czf html.tar.gz html
.PHONY: fo
fo: ${FOFILE}
-${FOFILE}: $(DOCFILES) Makefile
+${FOFILE}: $(DOCFILES) Makefile check
@xmlto fo $(DOCFILE)
.PHONY: pdf