1 files changed, 1 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 369b997..7d1817a 100644
--- a/Makefile
+++ b/Makefile
@@ -58,6 +58,7 @@ search:
 clean:
 	$(MAKE) -C test clean
 	rm -rf doc/guide.pdf doc/html
+	git checkout erlang.mk
 
 docs:
 	$(MAKE) -f core/core.mk -f core/docs.mk -f plugins/asciidoc.mk asciidoc