[tei-council] Prefixing ids with "tei_"

[James Cummings]

On 18/01/13 20:08, Martin Holmes wrote:
> I never thought that was what the task was. My assumption was that
> everyone wanted to keep the same ids (which are nice and short)
> throughout the source, and only change them when rendering the
> guidelines for the web, because it's only in the HTML output that this
> particular issue occurs; no reason presumably to burden the ePub output
> (for instance) with hundreds of longer ids.

Hrmmm... I think that is an assumption. I don't care one iota 
what the ids actually are... I never look at them really (just 
use them in a variety of ways).  If processing the Guidelines 
once and using slightly longer ids would solve the problem once 
and for all (and just add the rule that all our ids start with 
tei_) then fair enough... that doesn't bother me really.

>> (About to watch Jeremy Hardy do standup)
> Wot, live?

Yes, best way.  He was very good, thought provoking yet funny.

-James


-- 
Dr James Cummings, James.Cummings at it.ox.ac.uk
Academic IT Services, University of Oxford