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