Michael(tm) Smith wrote: > To me, that would suggest we make the [EMAIL PROTECTED] output a user option, > but change the default to be to not to output it anymore.
In principle I have nothing against going from [EMAIL PROTECTED] to @id. But is
this effort worth it (there are many places where IDs are generated)?
What are the benefits of using @id instead [EMAIL PROTECTED] except fractionally
shorter HTML code?
Jirka
--
------------------------------------------------------------------
Jirka Kosek e-mail: [EMAIL PROTECTED] http://xmlguru.cz
------------------------------------------------------------------
Professional XML consulting and training services
DocBook customization, custom XSLT/XSL-FO document processing
------------------------------------------------------------------
OASIS DocBook TC member, W3C Invited Expert, ISO JTC1/SC34 member
------------------------------------------------------------------
signature.asc
Description: OpenPGP digital signature
