diff options
| author | Lars Thorsen <[email protected]> | 2013-01-15 12:06:28 +0100 |
|---|---|---|
| committer | Lars Thorsen <[email protected]> | 2013-01-21 14:20:23 +0100 |
| commit | 29fcde84ea712308452a990b5baa2fd688f0c860 (patch) | |
| tree | b8b9de38072f30773dc828843e93cc3c506f61fe /make | |
| parent | 14e9c6fbdafc870016a3f586168d689859701274 (diff) | |
| download | otp-29fcde84ea712308452a990b5baa2fd688f0c860.tar.gz otp-29fcde84ea712308452a990b5baa2fd688f0c860.tar.bz2 otp-29fcde84ea712308452a990b5baa2fd688f0c860.zip | |
[erl_docgen] Add xmllint target for the documentation and fix some DTD errors
Diffstat (limited to 'make')
| -rw-r--r-- | make/otp.mk.in | 1 | ||||
| -rw-r--r-- | make/otp_release_targets.mk | 3 |
2 files changed, 4 insertions, 0 deletions
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 # ---------------------------------------------------- |