[Top][All Lists]

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

Re: modernizing html output

From: Gavin Smith
Subject: Re: modernizing html output
Date: Thu, 3 Jan 2019 13:00:51 +0000
User-agent: Mutt/1.5.23 (2014-03-12)

On Thu, Jan 03, 2019 at 12:23:21PM +0100, Patrice Dumas wrote:
> I remember that there were validation errors.  Maybe the problem is not
> with node names (and for section when section names are used as anchors)
> as they have g_t prepended but for other anchors, in particular for
> index entries, I do not think that they have g_t prepended, so they
> could start with - or with a number.

If it is index entries, then that is something that could be changed as 
there is no requirement that their names are stable, unlike nodes.

reply via email to

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