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>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=13226

--- 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:

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

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 12 February 2012 08:53:20 GMT