On Sun, Nov 3, 2019 at 9:25 PM Bram Moolenaar <[email protected]> wrote: > > > Tony wrote: > > > On Sun, Nov 3, 2019 at 6:39 PM Bram Moolenaar <[email protected]> wrote: > > > > > > > > > Patch 8.1.2247 > > > Problem: "make vimtags" does not work in runtime/doc. > > > Solution: Test existence with "which" instead of "test -x". (Ken Takata) > > > Files: runtime/doc/Makefile > > > > Vim is still not run, not even after "touch runtime/doc/help.txt": the > > tags file has a date of yesterday 15:04, one minute later than > > motion.txt, options.txt, syntax.txt, term.txt, terminal.txt, todo.txt > > and windows.txt (that's in runtime/doc in the "build" structure; under > > $VIMRUNTIME all helpfiles are dated a couple of minutes ago). Here's a > > log extract: > > > > cd ../runtime/doc; if test -z "" -a -f tags; then \ > > mv -f tags tags.dist; ficd ../runtime/doc; if test -z "" -a -f > > tags; then \ > > mv -f tags tags.dist; fi > > generating help tags > > make[1]: Entering directory '/root/.build/vim/vim-hg/runtime/doc' > > make[1]: Leaving directory '/root/.build/vim/vim-hg/runtime/doc' > > cd ../runtime/doc; \ > > files=`ls *.txt tags`; \ > > files="$files `ls *.??x tags-?? 2>/dev/null || true`"; \ > > cp $files /usr/local/share/vim/vim81/doc; \ > > cd /usr/local/share/vim/vim81/doc; \ > > chmod 644 $files > > cp ../runtime/doc/*.pl /usr/local/share/vim/vim81/doc > > chmod 755 /usr/local/share/vim/vim81/doc/*.pl > > cd ../runtime/doc; if test -f tags.dist; then mv -f tags.dist tags; fi > > How do you know Vim didn't run? The command isn't printed. > That it doesn't mention it can't find Vim is good. > Well, I can add a message that the tags got updated to avoid confusion.
I know it wasn't run because the last update date of runtime/doc/tags after that wasn't "a few minutes ago" but it was "yesterday". Previously the vim command was printed. Besty regards, Tony. -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/vim_dev/CAJkCKXvRpeKLbooaEx_CJCKZ0EJpM%3DzqtUsEM-s%2BA5T5pr_o%3Dg%40mail.gmail.com.
