From ee62f9fa748ea528eb2a06b3e22ef9a5aecb7cca Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Sat, 12 May 2018 21:05:45 +0200 Subject: [PATCH] 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 | 1 + src/version.c | 2 ++ 2 files changed, 3 insertions(+) diff --git a/src/Makefile b/src/Makefile index d7b8f7ee2..5a6ad84e6 100644 --- a/src/Makefile +++ b/src/Makefile @@ -2824,6 +2824,7 @@ uninstall_runtime: -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) diff --git a/src/version.c b/src/version.c index 38d26f13d..981d65033 100644 --- a/src/version.c +++ b/src/version.c @@ -761,6 +761,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 1822, /**/ 1821, /**/ -- 2.40.0