Re: @fnindex in html output vs info?

2022-07-25 Thread Gavin Smith
On Mon, Jul 25, 2022 at 03:14:47PM -0700, Raymond Toy wrote: > On Mon, Jul 25, 2022 at 3:03 PM Gavin Smith > wrote: > > > On Mon, Jul 25, 2022 at 10:56 PM Raymond Toy > > wrote: > > > > > > In the maxima user manual, there are few explicit uses of @fnindex. > > These show up in the info file in

Re: @} in @copying error in TeX

2022-07-25 Thread Gavin Smith
On Mon, Jul 25, 2022 at 01:05:25PM +0100, Gavin Smith wrote: > On Mon, Jul 25, 2022 at 11:12:16AM +0200, Patrice Dumas wrote: > I couldn't fix this easily so I have reverted the change until I have > time to work out what is going on. I've had another go. @{ and @} should work inside @copying, an

Re: @fnindex in html output vs info?

2022-07-25 Thread Raymond Toy
On Mon, Jul 25, 2022 at 3:03 PM Gavin Smith wrote: > On Mon, Jul 25, 2022 at 10:56 PM Raymond Toy > wrote: > > > > In the maxima user manual, there are few explicit uses of @fnindex. > These show up in the info file in the "Function and Variable Index" as > expected. > > > > However, these don't

Re: @fnindex in html output vs info?

2022-07-25 Thread Gavin Smith
On Mon, Jul 25, 2022 at 10:56 PM Raymond Toy wrote: > > In the maxima user manual, there are few explicit uses of @fnindex. These > show up in the info file in the "Function and Variable Index" as expected. > > However, these don't show up in the corresponding "Function and Variable > index" se

@fnindex in html output vs info?

2022-07-25 Thread Raymond Toy
In the maxima user manual, there are few explicit uses of @fnindex. These show up in the info file in the "Function and Variable Index" as expected. However, these don't show up in the corresponding "Function and Variable index" section in the html file. Is this expected? -- Ray

advices on fonts for LaTeX output?

2022-07-25 Thread Patrice Dumas
Hello, With the header generated by texi2any when generating LaTeX, I get pixelated fonts. Strangely, I do not get those pixelated fonts when I do LaTeX documents myself which is weird as I use similar headers... Also bold typewriter is not much different from typewriter, which seems to be a know

Re: TeX errors with @U{0075} which is u

2022-07-25 Thread Gavin Smith
On Sun, Jul 24, 2022 at 11:55:37PM +0200, Patrice Dumas wrote: > Hello, > > Here is an hopefully correct patch. I did not do the punctuation > characters/special characters in the ASCII range, only the digits and > letters, as I have no idea which character is special or not. I committed the cha

Re: @} in @copying error in TeX

2022-07-25 Thread Gavin Smith
On Mon, Jul 25, 2022 at 11:12:16AM +0200, Patrice Dumas wrote: > On Sun, Jul 24, 2022 at 09:37:34PM +0100, Gavin Smith wrote: > > > > > > > > > ./atchar_copying.texi:4: Argument of @docopying has an extra }. > > > > > > @par > > > > > >} > > > l.4 @} > >

Re: @} in @copying error in TeX

2022-07-25 Thread Patrice Dumas
On Sun, Jul 24, 2022 at 09:37:34PM +0100, Gavin Smith wrote: > > > > > > ./atchar_copying.texi:4: Argument of @docopying has an extra }. > > > > @par > > > >} > > l.4 @} > > > I've committed a fix for this. There are quite a few contexts for > scanning