From 1a1fe80bb3b3bfc6705d4a581f109d0a8e5a8c2e Mon Sep 17 00:00:00 2001
From: Lukas Larsson <lukas@erlang.org>
Date: Mon, 23 Oct 2017 13:08:17 +0200
Subject: Add toplevel xmllint make target

---
 erts/Makefile | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'erts')

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 $@
-- 
cgit v1.2.3