aboutsummaryrefslogtreecommitdiffstats
path: root/make
diff options
context:
space:
mode:
authorLars Thorsen <[email protected]>2016-05-13 08:04:51 +0200
committerLars Thorsen <[email protected]>2016-06-01 14:38:36 +0200
commita3afcff92485b6a696e40359a7d0300d4661e9c1 (patch)
treedf7b553e7fe579ab6512c90bf05e7432885777cc /make
parentd7e91348bc49a8f46a4d8223d522e2d92469f6da (diff)
downloadotp-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.mk2
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