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

https://www.w3.org/Bugs/Public/show_bug.cgi?id=13226

--- Comment #11 from Glenn Adams <glenn@skynav.com> 2011-12-07 20:29:49 UTC ---
(In reply to comment #10)
> I'm happy to change the title of the section to "Element Interfaces", which is
> what it lists.

ok, i can accept that, but it still begs the question of the completeness of
the index; the reason for having an index is so that the reader has a
convenient place to find an enumeration of whatever; it would certainly be a
service to the reader to have a full list of interfaces, and I spent some
effort to create that list;

i understand that, like any manually created index, it is challenging to update
frequently; if you had a tool to automate that indexing, then it would reduce
or remove that problem; e.g., would it be possible to use micro-syntax to label
interface defs to easily extract an index that you could integrate into your
production chain?

-- 
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 Wednesday, 7 December 2011 20:29:51 UTC