[gtk-doc] docs: more xml-id research

[Stefan Kost <stefkost src gnome org>]

commit 417c214708d89e81894e17d1d7531b3032de40aa
Author: Stefan Kost <ensonic users sf net>
Date:   Tue Dec 22 22:45:01 2009 +0200

    docs: more xml-id research

 doc/design-2.x.txt |   14 +++++++++++++-
 1 files changed, 13 insertions(+), 1 deletions(-)
---
diff --git a/doc/design-2.x.txt b/doc/design-2.x.txt
index 03d6074..753f3cd 100644
--- a/doc/design-2.x.txt
+++ b/doc/design-2.x.txt
@@ -15,12 +15,24 @@ clashes e.g. between GtkWidget as a section and as a struct. Normal symbols
 should only be mangled to be a valid xml-id. Document structure ids should 
 contain a prefix.
 
-These are the rules according to http://www.w3.org/TR/html4/types.html#type-id:
+These are the rules regarding id-attributes:
+
+http://www.w3.org/TR/html4/types.html#type-id:
 "ID and NAME tokens must begin with a letter ([A-Za-z]) and may be followed by
  any number of letters, digits ([0-9]), hyphens ("-"), underscores ("_"), colons
  (":"), and periods (".")."
+
+http://www.w3.org/TR/xml-id/#id-avn
+"Attributes of type ID are subject to additional normalization rules: removing
+ leading and trailing space characters and replacing sequences of spaces with a
+ single space."
+ 
+http://www.w3.org/TR/xml11/#NT-Name
+http://www.w3.org/TR/REC-xml/#NT-Name
  
 So we could easily use "DOC:" as a prefix for document structure ids.
+In 1.x we add :CAPS as a suffix to avoid clashes between lower and uppercase
+constructs. XML-IDs are not case insensitive, so we don't need that.
 
 === srcdir != builddir builds ===