Hi,

2019/11/4 Mon 1:47:22 UTC+9 Tony Mechelynck wrote:
>
> On Sun, Nov 3, 2019 at 5:42 PM Ken Takata <[email protected] 
> <javascript:>> wrote: 
> > 
> > Hi, 
> > 
> > 2019/11/4 Mon 0:50:37 UTC+9 Tony Mechelynck wrote: 
> >> 
> >> After recompiling just 8.1.2245 there were no changes to the docs, so 
> >> when running "make install" after that, runtime/doc/Makefile target 
> >> "vimtags" did nothing; yet at that point (runtime/doc/Makefile line 
> >> 325 or src/Makefile line 2373) 25 or so empty lines were written on 
> >> the console. I'm baffled. (I'm compiling in a konsole 18.12.3 terminal 
> >> maximized to 244 columns by 73 lines.) 
> >> 
> >> I checked that the --clean argument is still found at that point in 
> >> the src/Makefile; but in this case Vim seems not to have been invoked 
> >> anyway. 
> >> 
> >> Best regards, 
> >> Tony. 
> >> 
> >> P.S. Here's the relevant part of the console output: 
> >> 
> >> 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' 
> > 
> > 
> > How about just redirecting stdout to null? 
>
> IIRC, the whole idea of _not_ redirecting stdout to /dev/null was in 
> order to get a message if there were duplicate helptags (as there was 
> for *gm* at motion.txt line 230 until the latest runtime files 
> update). 
>
>
The error message for duplicate tags goes to stderr, so it will be shown on 
the terminal.

Regards,
Ken Takata

-- 
-- 
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/49bbdefe-b83b-43ce-b4c3-ba53e6b308c6%40googlegroups.com.

Raspunde prin e-mail lui