[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: using @titleplage in every format
|
From: |
Eli Zaretskii |
|
Subject: |
Re: using @titleplage in every format |
|
Date: |
Tue, 19 Feb 2019 17:52:23 +0200 |
> Date: Tue, 19 Feb 2019 01:27:23 +0100
> From: Patrice Dumas <address@hidden>
> Cc: address@hidden
>
> > Checking Texinfo's own manual, @top has an argument and is used as
> > "@top Texinfo". I haven't checked but I suspect TeX would output a
> > large heading from this.
>
> Indeed, but I propose to leave @top without argument, like
> @top
FWIW, I don't think we should make such backward-incompatible changes
in such veteran commands.
- using @titleplage in every format, Patrice Dumas, 2019/02/17
- Re: using @titleplage in every format, Gavin Smith, 2019/02/19
- Re: using @titleplage in every format, Patrice Dumas, 2019/02/27
- Re: using @titleplage in every format, Gavin Smith, 2019/02/27
- Re: using @titleplage in every format, Patrice Dumas, 2019/02/27