On Thu, Sep 01, 2022 at 03:04:53AM +0200, Vincent Lefevre wrote:
> On 2022-08-31 17:46:53 +0100, Gavin Smith wrote:
> > It's all chapter pages that don't have anything in the heading.  This
> > was deliberate.
> 
> Well, there's the page number in the heading.
> 
> With small chapters, this looks rather strange.
> 
> > Are you using "@headings double" to get different headings on verso pages?
> 
> Yes, we have this in the .texi file.

Okay I've made the change you suggested.

Reply via email to