From b453f67879df577fcf5b0eb6062ec444b0c43958 Mon Sep 17 00:00:00 2001
From: Lukas Larsson <lukas@erlang.org>
Date: Fri, 13 Jul 2018 15:10:57 +0200
Subject: docs: make clean all XMLDIR

---
 erts/doc/src/Makefile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'erts')

diff --git a/erts/doc/src/Makefile b/erts/doc/src/Makefile
index 3cc29e14b1..21aa3db864 100644
--- a/erts/doc/src/Makefile
+++ b/erts/doc/src/Makefile
@@ -149,6 +149,7 @@ debug opt:
 
 clean:
 	rm -rf $(HTMLDIR)/*
+	rm -rf $(XMLDIR)
 	rm -f $(MAN1DIR)/*
 	rm -f $(MAN3DIR)/*
 	rm -f $(TOP_PDF_FILE) $(TOP_PDF_FILE:%.pdf=%.fo)
-- 
cgit v1.2.3