commit ee62f9fa748ea528eb2a06b3e22ef9a5aecb7cca
author Bram Moolenaar <Bram@vim.org> Sat May 12 21:05:45 2018 +0200
committer Bram Moolenaar <Bram@vim.org> Sat May 12 21:05:45 2018 +0200
tree ede9c91234f0c73c996e736488eead6a03c30110
parent 2bc799579d06936968fa00e52b79ddd4eaca7678

patch 8.0.1822: make uninstall does not remove colors/tools

Problem:    Make uninstall does not remove colors/tools.
Solution:   Add a line to delete the tools directory. (Kazunobu Kuriyama)

src/Makefile

diff --git a/src/Makefile b/src/Makefile
index d7b8f7e..5a6ad84 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -2824,6 +2824,7 @@
 	-rm -f $(SYS_FTPLUGOF_FILE) $(SYS_FTPLUGIN_FILE)
 	-rm -f $(SYS_OPTWIN_FILE)
 	-rm -f $(DEST_COL)/*.vim $(DEST_COL)/README.txt
+	-rm -rf $(DEST_COL)/tools
 	-rm -f $(DEST_SYN)/*.vim $(DEST_SYN)/README.txt
 	-rm -f $(DEST_IND)/*.vim $(DEST_IND)/README.txt
 	-rm -rf $(DEST_MACRO)