[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: @point{} Gntting a Star in Texinfo.
From: |
Gavin Smith |
Subject: |
Re: @point{} Gntting a Star in Texinfo. |
Date: |
Fri, 16 Oct 2020 14:54:56 +0100 |
User-agent: |
Mutt/1.9.4 (2018-02-28) |
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> </div>
>
> <div>The <code>@point{}</code> command is displayed as
> ‘<samp>∗</samp>’, either a pointed star or (when that is
> not available) the ASCII sequence ‘<samp>-!-</samp>’.</div>
>
> <div> </div>
>
> <div>I am getting ‘<samp>-!-</samp>’. How can I fix this so that
> I get ‘<samp>∗</samp>’ a pointed star?</div>
>
> <div> </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.