- From: Norman Walsh <Norman.Walsh@Sun.COM>
- Date: 15 Aug 2001 07:37:12 -0400
- To: spec-prod@w3.org
/ Hugo Haas <hugo@w3.org> was heard to say: | 2) When other-doctype's value is "editors-copy", the W3C logo is not | show and the status says: | | This document is an editors' copy that has absolutely no standing. I would personally have been a little less blunt. Perhaps This document is an editors' copy that has no official standing. (The document does presumably stand as an editorial draft :-) | Editors' copies have the following mark-up: | | <spec w3c-doctype="other" other-doctype="editors-copy"> | | If people are happy with those changes, I will commit them. Fine by me. | Also, other-doctype="editors-copy" could override the value of | w3c-doctype so that a standard style sheet could be used instead of a | TR one, and we could have something like: | | <spec w3c-doctype="cr" other-doctype="editors-copy"> | | If that's desirable, I will edit the style sheet and propose a change | to the documentation[3]. Perhaps we need to factor this differently. Maybe we need: <spec w3c-doctype="cr" role="editors-copy"> and <spec w3c-doctype="other" other-doctype="something random" role="editors-copy"> I don't like the idea of using other-doctype when w3c-doctype isn't "other". Be seeing you, norm -- Norman.Walsh@Sun.COM | The average man, who does not know what to do XML Standards Engineer | with his life, wants another one which will XML Technology Center | last forever.--Anatole France Sun Microsystems, Inc. |
Received on Wednesday, 15 August 2001 07:37:14 UTC