[tei-council] Constraints on idno/@type attribute values

[Martin Holmes]

p5odds.odd seems to have this:

<elementSpec ident="idno" mode="change">
       <attList>
	<attDef mode="replace" ident="type">
	  <valList type="closed">
	    <valItem ident="doi"><gloss>Digital Object Identifier</gloss></valItem>
	    <valItem ident="ISBN"><gloss>International Standard Book 
Number</gloss></valItem>
	    <valItem ident="url"><gloss>any form of web address</gloss></valItem>
	  </valList>
	</attDef>
       </attList>
     </elementSpec>

which says that idno/@type cannot be "DOI", it must be "doi" (and also 
that it must be "url" instead of "URL"). Is this what caused my recent 
change to break the build, and if so, is everyone OK with my changing it?

Cheers,
Martin