diff options
author | Bram Moolenaar <Bram@vim.org> | 2018-07-05 22:58:17 +0200 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2018-07-05 22:58:17 +0200 |
commit | ae728edc93fe5a2f8c39fa75b1ae9ed71526858c (patch) | |
tree | d2c4464633cc284814145611fa6dffb564c5d398 | |
parent | c9fe5ab3b093803b6e8d03358ba16aca6b6f0db1 (diff) | |
download | vim-git-ae728edc93fe5a2f8c39fa75b1ae9ed71526858c.tar.gz |
patch 8.1.0155: evim.man missing from the distributionv8.1.0155
Problem: Evim.man missing from the distribution.
Solution: Add it to the list.
-rw-r--r-- | Filelist | 1 | ||||
-rw-r--r-- | src/version.c | 2 |
2 files changed, 3 insertions, 0 deletions
@@ -710,6 +710,7 @@ RT_NO_UNIX = \ # runtime for Amiga (also in the extra archive) RT_AMI_DOS = \ + runtime/doc/evim.man \ runtime/doc/vim.man \ runtime/doc/vimdiff.man \ runtime/doc/vimtutor.man \ diff --git a/src/version.c b/src/version.c index 8d97843c5..2be3ae1c0 100644 --- a/src/version.c +++ b/src/version.c @@ -790,6 +790,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 155, +/**/ 154, /**/ 153, |