Re: @tieaccent{..} does not display the tie accent in HTML

2021-08-30 Thread Gavin Smith
On Mon, Aug 30, 2021 at 10:00:51AM -0700, Per Bothner wrote: > > However, having a customization variable to > > output only numerical entities would be ok to me, maybe something like > > > > USE_ONLY_NUMERICAL_ENTITY or NO_NAMED_ENTITY to avoid confusion with > > USE_NUMERICAL_ENTITY. > > I thin

Re: @tieaccent{..} does not display the tie accent in HTML

2021-08-30 Thread Per Bothner
On 8/27/21 1:16 PM, Patrice Dumas wrote: I think that the HTML produced with named entities is much more legible, and probably more portable. It may be more legible, but I'm pretty sure it's not more portable. In fact, it is probably less portable, unless you restrict yourself to a very minimal