On 2022-09-01 16:53:31 +0100, Gavin Smith wrote: > 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.
Thanks. The MPFR manual is now OK concerning the headings. -- Vincent Lefèvre <[email protected]> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
