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
Best 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/CAJkCKXvn%3Dg4SXhP1X-TWDU7d3_eknAnn5r9ykitsj-56WY%3D%3DHA%40mail.gmail.com.
