Re: Final redirection of texi output (issue 5650064)

[David Kastrup]

address@hidden writes:

> Reviewers: dak, Graham Percival, Julien Rioux,
>
> Message:
> Latest GOP 9 make doc reduction - please review.
>
> Description:
> I've opened a new issue to avoid confusion.  AFAICS this redirects all
> the output from texi2pdf, makeinfo and tex2html to logfiles.  I've used
> Julien and David's suggestion of getting rid of --batch and --quiet, and
> it turns of the < /dev/null isn't needed when texi2pdf is run like this.
>  make; make doc is good.

You might be mistaken here.  make -j... calls some processes with closed
stdin, but it is not predictable which processes these are.  So before
you come to this conclusion, try it with a single-job make.

-- 
David Kastrup