[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: @point{} Gntting a Star in Texinfo.

From: Christopher Dimech
Subject: Re: @point{} Gntting a Star in Texinfo.
Date: Fri, 16 Oct 2020 16:04:13 +0200

Correct. Thank You Gavin
Sent: Friday, October 16, 2020 at 3:54 PM
From: "Gavin Smith" <>
To: "Christopher Dimech" <>
Cc: "help-texinfo gnu" <>
Subject: Re: @point{} Gntting a Star in Texinfo.
On Fri, Oct 16, 2020 at 03:31:27PM +0200, Christopher Dimech wrote:
> <html><head></head><body><div style="font-family: Verdana;font-size: 12.0px;"><div>The manual says that</div>
> <div>&nbsp;</div>
> <div>The <code>@point{}</code> command is displayed as &lsquo;<samp>&lowast;</samp>&rsquo;, either a pointed star or (when that is not available) the ASCII sequence &lsquo;<samp>-!-</samp>&rsquo;.</div>
> <div>&nbsp;</div>
> <div>I am getting &lsquo;<samp>-!-</samp>&rsquo;. How can I fix this so that I get &lsquo;<samp>&lowast;</samp>&rsquo; a pointed star?</div>
> <div>&nbsp;</div>
> <div>Regards</div>
> <div>C*</div></div></body></html>

If this is for the Info output I think you need to have

@documentencoding UTF-8

in the file.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]