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. -- 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)
