Browse Source

Tweak this repo's "make clean"

It'll now 'git checkout erlang.mk'.
Loïc Hoguin 8 years ago
parent
commit
9ad930ca46
1 changed files with 1 additions and 0 deletions
  1. 1 0
      Makefile

+ 1 - 0
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