X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=doc%2FMakefile;h=e9c26fb23dca45bd8004cfa7c8c9e681aad4d017;hb=6be0cb84dd1fc6a0ae9410f7ccdc34ac21ae4377;hp=d13a1e31680b4a4c0da9cbbca96da4e476e5d558;hpb=4032849a61c24705f1e0c828c8ff2f11b9a2a7cf;p=uffi.git

diff --git a/doc/Makefile b/doc/Makefile
index d13a1e3..e9c26fb 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -29,14 +29,16 @@ ifndef DOCFILE_EXT
 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 
@@ -54,15 +56,15 @@ check:
 .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