diff options
author | Bram Moolenaar <Bram@vim.org> | 2016-03-21 22:40:03 +0100 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2016-03-21 22:40:03 +0100 |
commit | b763eba7ae3540cd879f7c29882a29308f9688db (patch) | |
tree | 74a271183ac76fb3b5245be200e3f89251a343df /src/version.c | |
parent | 6098957458e538682f54e23de217da06200876a3 (diff) | |
download | vim-b763eba7ae3540cd879f7c29882a29308f9688db.zip |
patch 7.4.1633
Problem: If the help tags file was removed "make install" fails. (Tony
Mechelynck)
Solution: Only try moving the file if it exists.
Diffstat (limited to 'src/version.c')
-rw-r--r-- | src/version.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/version.c b/src/version.c index bb75c115f..3f45bd64b 100644 --- a/src/version.c +++ b/src/version.c @@ -749,6 +749,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1633, +/**/ 1632, /**/ 1631, |