1 files changed, 5 insertions, 0 deletions
diff --git a/do_clean b/do_clean
new file mode 100755
index 00000000000..de759f41331
--- /dev/null
+++ b/do_clean
@@ -0,0 +1,5 @@
+#!/bin/bash
+. ~/bin/16-color.src
+echo -e ${GREEN}Cleanning ...${RESTORE}
+make distclean
+find -name *.elc -exec rm -f '{}' \;

diff --git a/do_clean b/do_clean new file mode 100755 index 00000000000..de759f41331 --- /dev/null +++ b/do_clean
@@ -0,0 +1,5 @@
	1	#!/bin/bash
	2	. ~/bin/16-color.src
	3	echo -e ${GREEN}Cleanning ...${RESTORE}
	4	make distclean
	5	find -name *.elc -exec rm -f '{}' \;