]> granicus.if.org Git - vim/commit
projects / vim / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 024dbd2) | patch
patch 8.1.2242: creating docs tags uses user preferences v8.1.2242
authorBram Moolenaar <Bram@vim.org>
Sat, 2 Nov 2019 21:45:31 +0000 (22:45 +0100)
committerBram Moolenaar <Bram@vim.org>
Sat, 2 Nov 2019 21:45:31 +0000 (22:45 +0100)
commit70def98a957620cc325d1ab6ee35f13187598693
tree92c57cae40e5e0d9139ca790ddecfcbb55fc02ddtree | snapshot
parent024dbd229fa7991b7bf7ef4d0888b43ab03783f7commit | diff
patch 8.1.2242: creating docs tags uses user preferences

Problem:    Creating docs tags uses user preferences. (Tony Mechelynck)
Solution:   Add "--clean".
runtime/doc/Makefile diff | blob | history
src/version.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.