On Wed, Oct 12, 2022 at 12:40:12AM +0200, Vincent Lefevre wrote:
> The Texinfo manual says
>
>The '@math' command has no special effect on the Info output or (by
> default) the HTML output, merely outputting the contents verbatim.
>
> However, as said later, the contents are emphasized (with
On 2022-10-12 21:36:04 +0200, Patrice Dumas wrote:
> I remember some time ago, probably when latin1 was the default charset,
> that there could be some entities not formatted. But it was probably
> some time ago. Note that we want to output HTML that is ok on old
> browser, so we have to be conse
On 2022-10-12 21:26:43 +0200, Patrice Dumas wrote:
> On Wed, Oct 12, 2022 at 01:46:28PM +0200, Vincent Lefevre wrote:
> > BTW, I thought that --enable-encoding was the default. But after,
> > testing, it isn't. The makeinfo(1) man page should be clarified.
> > Instead of
> >
> >--disable-e
On Wed, Oct 12, 2022 at 01:59:12PM +0200, Vincent Lefevre wrote:
>
> Is it? I cannot see any change in the NEWS file in master.
It was actually a change introduced in the 6.7 release.
--
Pat
On Wed, Oct 12, 2022 at 01:59:12PM +0200, Vincent Lefevre wrote:
> On 2022-10-12 11:11:53 +0200, Patrice Dumas wrote:
> > On Wed, Oct 12, 2022 at 01:13:07AM +0200, Vincent Lefevre wrote:
> > > With Texinfo 6.8 and HTML output, @minus{} is converted to a hyphen
> > > instead of a real minus characte
On Wed, Oct 12, 2022 at 01:46:28PM +0200, Vincent Lefevre wrote:
> BTW, I thought that --enable-encoding was the default. But after,
> testing, it isn't. The makeinfo(1) man page should be clarified.
> Instead of
>
>--disable-encoding
> do not output accented and special char
On Wed, Oct 12, 2022 at 11:34:45AM +0200, Vincent Lefevre wrote:
> >
> > There are now other options for math formatting in HTML, but they are
> > suitable for TeX/LaTeX math, not much for text describing math. If I
> > understand well your need, I think that using CSS to change how @math is
> >
On 2022-10-12 11:11:53 +0200, Patrice Dumas wrote:
> On Wed, Oct 12, 2022 at 01:13:07AM +0200, Vincent Lefevre wrote:
> > With Texinfo 6.8 and HTML output, @minus{} is converted to a hyphen
> > instead of a real minus character (U+2212 MINUS SIGN).
>
> It is actually not clear to me why an ASCII -
On 2022-10-12 11:09:47 +0200, Patrice Dumas wrote:
> On Wed, Oct 12, 2022 at 01:13:07AM +0200, Vincent Lefevre wrote:
> > With Texinfo 6.8 and HTML output, @minus{} is converted to a hyphen
> > instead of a real minus character (U+2212 MINUS SIGN).
>
> It should depend on --enable-encoding and USE
On 2022-10-12 10:20:46 +0300, Eli Zaretskii wrote:
> > > With Texinfo 6.8 and HTML output, @minus{} is converted to a hyphen
> > > instead of a real minus character (U+2212 MINUS SIGN).
> >
> > I think this is the right action for HTML. The main reason, AFAICS,
> > is to have working copy and pas
On 2022-10-12 11:22:22 +0200, Patrice Dumas wrote:
> On Wed, Oct 12, 2022 at 12:40:12AM +0200, Vincent Lefevre wrote:
> > Moreover, using is incorrect because things like digits should
> > not be in italics. For instance, with the GMP manual, one has about
> > mpz_mul_2exp (since r3083): "op1 time
On Wed, Oct 12, 2022 at 12:40:12AM +0200, Vincent Lefevre wrote:
> The Texinfo manual says
>
>The '@math' command has no special effect on the Info output or (by
> default) the HTML output, merely outputting the contents verbatim.
>
> However, as said later, the contents are emphasized (with
On Wed, Oct 12, 2022 at 01:13:07AM +0200, Vincent Lefevre wrote:
> With Texinfo 6.8 and HTML output, @minus{} is converted to a hyphen
> instead of a real minus character (U+2212 MINUS SIGN).
It is actually not clear to me why an ASCII - is output in the default
case, and not −. Maybe it was for
On Wed, Oct 12, 2022 at 01:13:07AM +0200, Vincent Lefevre wrote:
> With Texinfo 6.8 and HTML output, @minus{} is converted to a hyphen
> instead of a real minus character (U+2212 MINUS SIGN).
It should depend on --enable-encoding and USE_NUMERIC_ENTITY. In the
upcoming release, if --enable-encodi
> Date: Wed, 12 Oct 2022 06:37:27 + (UTC)
> Cc: bug-texinfo@gnu.org
> From: Werner LEMBERG
>
>
> > With Texinfo 6.8 and HTML output, @minus{} is converted to a hyphen
> > instead of a real minus character (U+2212 MINUS SIGN).
>
> I think this is the right action for HTML. The main reason,
15 matches
Mail list logo
