On Sat, Nov 2, 2019 at 10:01 PM Bram Moolenaar <[email protected]> wrote: > > > Tony wrote: > > > > > After the latest runtime files update, this problem has disappeared; > > > > but helptags generation ("/usr/local/bin/vim -eX -u doctags.vim") > > > > still outputs a large number of empty lines, which is annoying. Would > > > > it please be possible to filter them out (maybe 2>&1 | egrep -v ^\s*$ > > > > or something)? > > > > > > Where do you see empty lines? I get no output at all: > > > > > > $ cd vim/vim81/runtime/doc > > > $ vim -eX -u doctags.vim > > > $ > > > > Here is the relevant part of the output of "make installruntime", > > including one line after the many empties: > > > > generating help tags > > make[1]: Entering directory '/root/.build/vim/vim-hg/runtime/doc' > > /usr/local/bin/vim -eX -u doctags.vim > > [empty lines] > > > make[1]: Leaving directory '/root/.build/vim/vim-hg/runtime/doc' > > I don't see that. Can you try changing the line in > runtime/doc/Makefile: > > vimtags: $(DOCS) > @if test -x $(VIMEXE); then $(VIMEXE) -eX -u doctags.vim; \ > else echo "vim executable $(VIMEXE) not found"; fi > > to: > > vimtags: $(DOCS) > @if test -x $(VIMEXE); then $(VIMEXE) --clean -eX -u doctags.vim; \ > else echo "vim executable $(VIMEXE) not found"; fi > > Does it go away then?
No need. As I said earlier, your change 8.1.2239, putting the $(VIMEXE) etc. command inside an "if" clause seems to have been enough. If the problem doesn't reappear, I will assume that it was solved at that point. 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/CAJkCKXvWZ1Z9pbQ1UvsRKD0mvyF8ZFajSsZcEzQCDYHEh_PF0Q%40mail.gmail.com.
