annotate src/config.mk.dist @ 18496:7b1f8e4b32ba v8.1.2242

patch 8.1.2242: creating docs tags uses user preferences Commit: https://github.com/vim/vim/commit/70def98a957620cc325d1ab6ee35f13187598693 Author: Bram Moolenaar <Bram@vim.org> Date: Sat Nov 2 22:45:31 2019 +0100 patch 8.1.2242: creating docs tags uses user preferences Problem: Creating docs tags uses user preferences. (Tony Mechelynck) Solution: Add "--clean".
author Bram Moolenaar <Bram@vim.org>
date Sat, 02 Nov 2019 23:00:05 +0100
parents 78d7b92bfb1d
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
11376
78d7b92bfb1d patch 8.0.0573: running parallel make after distclean fails
Christian Brabandt <cb@256bit.org>
parents: 7
diff changeset
1 the first target to make vim is: reconfig
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
2 srcdir = .
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
3 VIMNAME = vim
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
4 EXNAME = ex
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
5 VIEWNAME = view