diff options
author | Lars Thorsen <[email protected]> | 2016-05-13 08:04:51 +0200 |
---|---|---|
committer | Lars Thorsen <[email protected]> | 2016-06-01 14:38:36 +0200 |
commit | a3afcff92485b6a696e40359a7d0300d4661e9c1 (patch) | |
tree | df7b553e7fe579ab6512c90bf05e7432885777cc /make | |
parent | d7e91348bc49a8f46a4d8223d522e2d92469f6da (diff) | |
download | otp-a3afcff92485b6a696e40359a7d0300d4661e9c1.tar.gz otp-a3afcff92485b6a696e40359a7d0300d4661e9c1.tar.bz2 otp-a3afcff92485b6a696e40359a7d0300d4661e9c1.zip |
Make it possible to run xmllint target in system documentation
Diffstat (limited to 'make')
-rw-r--r-- | make/otp_release_targets.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make/otp_release_targets.mk b/make/otp_release_targets.mk index e104b68991..13b54645ad 100644 --- a/make/otp_release_targets.mk +++ b/make/otp_release_targets.mk @@ -120,7 +120,7 @@ xmllint: $(XML_FILES) echo Checking $$i; \ xmllint --noout --valid --nodefdtd --loaddtd --path $(DOCGEN)/priv/dtd:$(DOCGEN)/priv/dtd_html_entities $$i; \ else\ - awk -F\" '/xi:include/ {print "echo Checking " $$2 ;print "xmllint --noout --valid --nodefdtd --loaddtd --path $(DOCGEN)/priv/dtd:$(DOCGEN)/priv/dtd_html_entities " $$2}' $$i |sh; \ + awk -F\" '/xi:include/ {print "echo Checking " $$2 ;print "xmllint --noout --valid --nodefdtd --loaddtd --path $(DOCGEN)/priv/dtd:$(DOCGEN)/priv/dtd_html_entities:$(XMLLINT_SRCDIRS) " $$2}' $$i |sh; \ fi \ done |