[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.
Re: modernizing html output, Gavin Smith, 2019/01/28