Re: In PDF output, missing title in heading on even-numbered chapter pages

2022-09-02 Thread Vincent Lefevre 
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  - Web: 
100% accessible validated (X)HTML - Blog: 
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)

Re: In PDF output, missing title in heading on even-numbered chapter pages

2022-09-01 Thread Gavin Smith 
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.

Re: In PDF output, missing title in heading on even-numbered chapter pages

2022-08-31 Thread Vincent Lefevre 
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  - Web: 
100% accessible validated (X)HTML - Blog: 
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)

Re: In PDF output, missing title in heading on even-numbered chapter pages

2022-08-31 Thread Gavin Smith 
On Tue, Aug 30, 2022 at 06:27:27PM +0200, Vincent Lefevre wrote:
> With texinfo.tex 2021-04-25.21 (current version in Debian/unstable)
> and 2022-07-27.14 (latest version), even-numbered chapter pages
> no longer have a title in the heading. The manual doesn't seem to
> document such an exception, while the title provides information
> and I don't see a good reason to omit it.
> 
> I suppose that the issue is the following code:
> 
> \def\HEADINGSdoublex{%
> \global\evenfootline={\hfil}
> \global\oddfootline={\hfil}
> \global\evenheadline={\line{\folio\hfil\thistitle}}
> \global\oddheadline={\line{\thischapter\hfil\folio}}
> \global\evenchapheadline={\line{\folio\hfil}}
> \global\oddchapheadline={\line{\hfil\folio}}
> \global\let\contentsalignmacro = \chapoddpage
> }
> 
> Using
> 
> \global\evenchapheadline={\line{\folio\hfil\thistitle}}
> 
> restores the title on on even-numbered chapter pages.

It's all chapter pages that don't have anything in the heading.  This
was deliberate.

Are you using "@headings double" to get different headings on verso pages?
I cannot see that you would get a chapter page on an even-numbered page
with the document title in the heading of even-numbered pages just
by using @setchapternewpage.