diff options
Diffstat (limited to 'docs/Makefile.in')
| -rw-r--r-- | docs/Makefile.in | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/docs/Makefile.in b/docs/Makefile.in index 6d5568e5b7..d3993e44ae 100644 --- a/docs/Makefile.in +++ b/docs/Makefile.in @@ -14,6 +14,7 @@ # Programs WGET = @WGET@ XSLTPROC = @XSLTPROC@ +XMLLINT = @XMLLINT@ DVIPS = @DVIPS@ PNGTOPNM = @PNGTOPNM@ EPSTOPNM = @EPSTOPNM@ @@ -48,6 +49,7 @@ SMBDOTCONFDOC = $(TOPDIR)/smbdotconf PSDIR = $(OUTPUTDIR) PDFDIR = $(OUTPUTDIR) DVIDIR = $(OUTPUTDIR) +VALIDATEDIR = $(OUTPUTDIR)/validate TXTDIR = $(OUTPUTDIR)/textdocs HTMLDIR=$(OUTPUTDIR)/htmldocs PLUCKERDIR=$(OUTPUTDIR)/plucker @@ -267,6 +269,14 @@ $(MANDIR): $(MANDIR)/%: %.xml $(XSLTPROC) --output $@ xslt/man.xsl $< +$(VALIDATEDIR): + mkdir $@ + +$(VALIDATEDIR)/%.report.html: %.xml + $(XMLLINT) --valid --noout --htmlout $< 2> $@ + +verify: $(VALIDATEDIR) $(VALIDATEDIR)/Samba-HOWTO-Collection.report.html $(VALIDATEDIR)/Samba-Developers-Guide.report.html $(VALIDATEDIR)/Samba-Guide.report.html + # Find undocumented parameters undocumented: $(SMBDOTCONFDOC)/parameters.all.xml |