W3C home > Mailing lists > Public > spec-prod@w3.org > October to December 2001

[patch] anchors on all headers

From: Max Froumentin <mf@w3.org>
Date: Tue, 18 Dec 2001 14:10:24 +0100
To: spec-prod@w3.org
Message-ID: <87zo4g7jy7.fsf@sophia.inria.fr>

Since W3C pubrules [1] now require that *all* headers have an anchor,
I patched xmlspec.xsl to add <a name=""> to all headers that did not
have one already. That is:

- the document title (<h1>), name="title"
- the document subtitle (<h1>), name="subtitle"
- the document type (<h2>)   name="w3c-doctype"
- the appendix section title (<h2>). name="appendices"
- example titles (<h5>) for non-tabular examples. name="{generate-id()}"
- scrap heads (<h5>). name="{generate-id()}"

Diff file attached.

MaxF.



Received on Tuesday, 18 December 2001 08:11:45 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 10 March 2012 06:19:11 GMT