updated for version 7.3.1205
Problem: logtalk.dict is not removed on uninstall.
Solution: Remove the file. (Kazunobu Kuriyama)
diff --git a/src/Makefile b/src/Makefile
index 12ff175..39e0e32 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -2311,7 +2311,7 @@
-rm -rf $(DEST_COMP)
-rm -f $(DEST_PRINT)/*.ps
-rmdir $(DEST_HELP) $(DEST_PRINT) $(DEST_COL) $(DEST_SYN) $(DEST_IND)
- -rm -rf $(DEST_FTP)/*.vim $(DEST_FTP)/README.txt
+ -rm -rf $(DEST_FTP)/*.vim $(DEST_FTP)/README.txt $(DEST_FTP)/logtalk.dict
-rm -f $(DEST_AUTO)/*.vim $(DEST_AUTO)/README.txt $(DEST_AUTO)/xml/*.vim
-rm -f $(DEST_PLUG)/*.vim $(DEST_PLUG)/README.txt
-rmdir $(DEST_FTP) $(DEST_AUTO)/xml $(DEST_AUTO) $(DEST_PLUG) $(DEST_RT)
diff --git a/src/version.c b/src/version.c
index e7fe7e4..39a0763 100644
--- a/src/version.c
+++ b/src/version.c
@@ -729,6 +729,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 1205,
+/**/
1204,
/**/
1203,