On Sun, Aug 09, 2026 at 07:20:12PM +0100, Gavin Smith wrote: > A problem may have come about with the phrase "printed output" in the manual > where it may not be clear whether this applies to LaTeX or not.
For me, "printed output" without more precision applies to both Texinfo TeX and LaTeX. -- Pat
