aboutsummaryrefslogtreecommitdiffstats
path: root/erts
diff options
context:
space:
mode:
authorLukas Larsson <[email protected]>2017-10-23 13:08:17 +0200
committerLukas Larsson <[email protected]>2017-10-31 13:46:05 +0100
commit1a1fe80bb3b3bfc6705d4a581f109d0a8e5a8c2e (patch)
treeadcba75241e7cc9ca2fe4ac4828b714546545e60 /erts
parent202d62c473e00fd066a70c85ba1d5c26ef2607a1 (diff)
downloadotp-1a1fe80bb3b3bfc6705d4a581f109d0a8e5a8c2e.tar.gz
otp-1a1fe80bb3b3bfc6705d4a581f109d0a8e5a8c2e.tar.bz2
otp-1a1fe80bb3b3bfc6705d4a581f109d0a8e5a8c2e.zip
Add toplevel xmllint make target
Diffstat (limited to 'erts')
-rw-r--r--erts/Makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/erts/Makefile b/erts/Makefile
index 12d2ec57a8..ffada839a7 100644
--- a/erts/Makefile
+++ b/erts/Makefile
@@ -147,3 +147,7 @@ release:
.PHONY: release_docs
release_docs:
$(V_at)( cd doc/src && $(MAKE) $@ )
+
+.PHONY: xmllint
+xmllint:
+ $(MAKE) -C doc/src $@