Re: Start on replacement for titlepage in texinfo.tex

2025-07-14 Thread Werner LEMBERG
> I've also implemented a "@publication" command in texinfo.tex, that > should contain information about the publisher and any other details > specific to the act of publication. [...] This looks nice, thank you. Werner

Re: Start on replacement for titlepage in texinfo.tex

2025-07-14 Thread Gavin Smith
On Mon, Jul 14, 2025 at 09:13:36PM +0100, Gavin Smith wrote: > On Mon, Jun 30, 2025 at 11:30:30PM +0100, Gavin Smith wrote: > > So just using @maketitle to produce the copyright page too is > > a real possibility. > > So I've been seeing what I can implement in texinfo.tex as a prototype > for thi

Re: epsf.tex: New file

2025-07-14 Thread Karl Berry
(Cc-ing bug-texinfo. Oddly, Gavin and I were just talking about epsf.tex. Bruno's original message: https://lists.gnu.org/archive/html/bug-gnulib/2025-07/msg00083.html) So, the problem is not limited to Bison. It occurs because epsf.tex is a dependency of (in fact, the only dependency of)

Start on replacement for titlepage in texinfo.tex

2025-07-14 Thread Gavin Smith
On Mon, Jun 30, 2025 at 11:30:30PM +0100, Gavin Smith wrote: > So just using @maketitle to produce the copyright page too is > a real possibility. So I've been seeing what I can implement in texinfo.tex as a prototype for this feature area. The idea is that the user specifies information in their