Re: @documentlanguage and locale file

2022-09-28 Thread Gavin Smith
On Wed, Sep 28, 2022 at 01:24:00PM -0700, Raymond Toy wrote: > The manual says: > > For TeX, this command causes a file txi-locale.tex to be read (if it > exists). > > But when I run texi2pdf maxima.texi, I get > > ./maxima.texi:4: Cannot read language file txi-ru.tex. > > Which is true, but I

Re: microtype for texinfo

2022-09-28 Thread Karl Berry
pdfTeX error (font expansion): auto expansion is only possible with scalable fonts. Indeed, font expansion is only usable with scalable fonts. I don't believe it's possible to test at the TeX level whether a given font (e.g., cmr10) will ultimately be rendered as outlines or bitmaps :(. (T

@documentlanguage and locale file

2022-09-28 Thread Raymond Toy
The manual says: For TeX, this command causes a file txi-locale.tex to be read (if it exists). But when I run texi2pdf maxima.texi, I get ./maxima.texi:4: Cannot read language file txi-ru.tex. Which is true, but I was expecting TeX to ignore this. maxima.texi (for Russian) is basically: \inpu

Re: Info reader - issues finding first index entry

2022-09-28 Thread Gavin Smith
On Wed, Sep 28, 2022 at 08:21:45PM +0100, Charles Reilly wrote: > A fix is attached. Thanks, committed in 79c29a9b2e0.

Re: leading and trailing spaces in brace commands

2022-09-28 Thread Patrice Dumas
On Tue, Sep 27, 2022 at 08:10:57PM +0100, Gavin Smith wrote: > On Tue, Sep 27, 2022 at 09:26:15AM +0200, Patrice Dumas wrote: > > > I'm not sure if it would be correct to ignore spaces for other commands: > > > @math, @value, @verb... Almost every command could be different. It > > > seems quite

Re: Info reader - issues finding first index entry

2022-09-28 Thread Charles Reilly
On 27/09/2022 8.20 pm, Charles Reilly wrote: On 27/09/2022 6.58 pm, Gavin Smith wrote: On Tue, Sep 27, 2022 at 06:07:08PM +0100, Charles Reilly wrote: Hi, Using info I have had some issues with finding the first entry in the index. For example, try running "info gzip".  The first entry in the

Re: Info reader - issues finding first index entry

2022-09-28 Thread Charles Reilly
It's a simple fix. Do you accept git patches? On 27/09/2022 8.20 pm, Charles Reilly wrote: On 27/09/2022 6.58 pm, Gavin Smith wrote: On Tue, Sep 27, 2022 at 06:07:08PM +0100, Charles Reilly wrote: Hi, Using info I have had some issues with finding the first entry in the index. For example,

Re: microtype for texinfo

2022-09-28 Thread Patrice Dumas
On Wed, Sep 28, 2022 at 05:01:18PM +0100, Gavin Smith wrote: > On Tue, Sep 27, 2022 at 06:41:44PM -0600, Karl Berry wrote: > > kb> Regarding typewriter: I reiterate the need to turn it off for display > > kb> environments. > > > > On second thought, for the LaTeX backend, I can see how it would b

Re: microtype for texinfo

2022-09-28 Thread Gavin Smith
On Tue, Sep 27, 2022 at 06:41:44PM -0600, Karl Berry wrote: > kb> Regarding typewriter: I reiterate the need to turn it off for display > kb> environments. > > On second thought, for the LaTeX backend, I can see how it would be > better to simply take the default, that is, \usepackage{microtype},

Re: microtype for texinfo

2022-09-28 Thread pertusus
On Tue, Sep 27, 2022 at 08:20:17PM +0100, Gavin Smith wrote: > On Tue, Sep 27, 2022 at 09:38:30AM +0200, pertu...@free.fr wrote: > > ... but my feeling is > > that this is the symptom of something wrong being done with fonts > > selection in the LaTeX output, not an issue with microtype as such. >

Re: microtype for texinfo

2022-09-28 Thread Patrice Dumas
On Tue, Sep 27, 2022 at 04:22:44PM -0600, Karl Berry wrote: > There is a new converter in texi2any of Texinfo to LaTeX, > > I didn't know. Cool! People have long wanted this. Mainly so they can > change fonts. So I hope you will support that -- which I think amounts > to allowing the user to

Re: microtype for texinfo

2022-09-28 Thread pertusus
On Tue, Sep 27, 2022 at 04:22:45PM -0600, Karl Berry wrote: > If the output is better with microtype on, we should try to have it on. > > If Texinfo has microtype on by default, I agree the LaTeX backend should > also have microtype on by default. That's fine. > > microtypee off if is cau