W3C home > Mailing lists > Public > public-html-bugzilla@w3.org > February 2012

[Bug 13226] Rename "Interfaces" index section to more precise "Element interfaces"

From: <bugzilla@jessica.w3.org>
Date: Sun, 12 Feb 2012 08:53:16 +0000
To: public-html-bugzilla@w3.org
Message-Id: <E1RwVBM-0000kc-UF@jessica.w3.org>

--- Comment #15 from Cameron McCormack <cam@mcc.id.au> 2012-02-12 08:53:16 UTC ---
Created attachment 1078
  --> https://www.w3.org/Bugs/Public/attachment.cgi?id=1078
script to generate interface index

I don't know what format you want the index in.  This script takes the "index"
file (the post-processed file) as input.  It generates output like:

 <li><code><a href=#htmlanchorelement>HTMLAnchorElement</a></code>, <a
 <li><code><a href=#htmlelement>HTMLElement</a></code>
 <li><code>XMLDocument</code>, <a href=#xmldocument>partial</a>

where xxx1 is the id="" on the <a>HTMLAnchorElement</a> in the <pre> for its
obsolete attributes, if you added one.

Feel free to adapt as desired.  It's probably quite sensitive to the exact
formatting of the markup you seem to use.

Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Sunday, 12 February 2012 08:53:18 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 16:31:26 UTC