aboutsummaryrefslogtreecommitdiffstats
path: root/erts/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'erts/Makefile')
-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 $@