W3C home > Mailing lists > Public > public-html-commits@w3.org > February 2010

html5/markup/tools generate-spec-source.xsl,1.224,1.225

From: Michael Smith via cvs-syncmail <cvsmail@w3.org>
Date: Mon, 01 Feb 2010 11:33:30 +0000
To: public-html-commits@w3.org
Message-Id: <E1NbuX4-0006Gz-3r@lionel-hutz.w3.org>
Update of /sources/public/html5/markup/tools
In directory hutz:/tmp/cvs-serv23919/tools

Modified Files:
	generate-spec-source.xsl 
Log Message:
reify common attributes

Index: generate-spec-source.xsl
===================================================================
RCS file: /sources/public/html5/markup/tools/generate-spec-source.xsl,v
retrieving revision 1.224
retrieving revision 1.225
diff -u -d -r1.224 -r1.225
--- generate-spec-source.xsl	1 Feb 2010 05:25:04 -0000	1.224
+++ generate-spec-source.xsl	1 Feb 2010 11:33:27 -0000	1.225
@@ -153,18 +153,18 @@
                         <xsl:with-param name="substr">.</xsl:with-param>
                       </xsl:call-template>
                     </xsl:variable>
-<xsl:choose>
-<xsl:when test="starts-with(.,'common.')">
-<a href="{@href}">
-<xsl:value-of select="$type"/>
-<xsl:text> attributes</xsl:text>
-</a>
-<span class="postfix optional">?</span>
-</xsl:when>
-<xsl:otherwise>
-<xsl:copy-of select="."/>
-</xsl:otherwise>
-</xsl:choose>
+              <xsl:choose>
+                <xsl:when test="starts-with(.,'common.')">
+                  <a href="{@href}">
+                  <xsl:value-of select="$type"/>
+                  <xsl:text> attributes</xsl:text>
+                  </a>
+                  <span class="postfix optional">?</span>
+                </xsl:when>
+                <xsl:otherwise>
+                  <xsl:copy-of select="."/>
+                </xsl:otherwise>
+              </xsl:choose>
                   </xsl:for-each>
                   <xsl:text>&#10;            </xsl:text>
               </div>
Received on Monday, 1 February 2010 11:33:31 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 1 February 2010 11:33:31 GMT