From 29fcde84ea712308452a990b5baa2fd688f0c860 Mon Sep 17 00:00:00 2001
From: Lars Thorsen <lars@erlang.org>
Date: Tue, 15 Jan 2013 12:06:28 +0100
Subject: [erl_docgen] Add xmllint target for the documentation and fix some
 DTD errors

---
 make/otp.mk.in              | 1 +
 make/otp_release_targets.mk | 3 +++
 2 files changed, 4 insertions(+)

(limited to 'make')

diff --git a/make/otp.mk.in b/make/otp.mk.in
index 0e58a27016..fca9cf3cff 100644
--- a/make/otp.mk.in
+++ b/make/otp.mk.in
@@ -255,6 +255,7 @@ DEFAULT_GIF_FILES = $(HTMLDIR)/min_head.gif
 #
 XSLTPROC = @XSLTPROC@
 FOP = @FOP@
+XMLLINT = @XMLLINT@
 
 DOCGEN=$(ERL_TOP)/lib/erl_docgen
 FOP_CONFIG = $(DOCGEN)/priv/fop.xconf
diff --git a/make/otp_release_targets.mk b/make/otp_release_targets.mk
index 0be0a2de56..3ad529685b 100644
--- a/make/otp_release_targets.mk
+++ b/make/otp_release_targets.mk
@@ -106,6 +106,9 @@ $(HTMLDIR)/$(APPLICATION).eix: $(XML_FILES) $(SPECS_FILES)
 
 docs: $(HTMLDIR)/$(APPLICATION).eix
 
+xmllint: $(XML_FILES)
+	$(XMLLINT) --noout --valid --nodefdtd --loaddtd --path $(DOCGEN)/priv/dtd:$(DOCGEN)/dtd_html_entities  $(XML_FILES)
+
 # ----------------------------------------------------
 # Local documentation target for testing 
 # ----------------------------------------------------
-- 
cgit v1.2.3