W3C home > Mailing lists > Public > public-html-commits@w3.org > June 2009

html5/markup patch-schema,1.62,1.63

From: Michael Smith via cvs-syncmail <cvsmail@w3.org>
Date: Fri, 26 Jun 2009 10:05:49 +0000
To: public-html-commits@w3.org
Message-Id: <E1MK8JZ-0000xx-VX@lionel-hutz.w3.org>
Update of /sources/public/html5/markup
In directory hutz:/tmp/cvs-serv3483

Modified Files:
	patch-schema 
Log Message:
h:tml; [ignore me] minor build tweak to keep patch(1) from making noise about line offsets in schema patch


Index: patch-schema
===================================================================
RCS file: /sources/public/html5/markup/patch-schema,v
retrieving revision 1.62
retrieving revision 1.63
diff -u -d -r1.62 -r1.63
--- patch-schema	26 Jun 2009 09:05:26 -0000	1.62
+++ patch-schema	26 Jun 2009 10:05:47 -0000	1.63
@@ -306,9 +306,9 @@
  
 Index: schema/applications.rnc
 ===================================================================
---- schema/applications.rnc	(revision 436)
+--- schema/applications.rnc	(revision 441)
 +++ schema/applications.rnc	(working copy)
-@@ -114,12 +114,26 @@
+@@ -111,12 +111,26 @@
  	command.command.attrs =
  		(	common.attrs
  		&	command.command.attrs.type?
@@ -336,7 +336,7 @@
  	command.elem = command.command.elem
  
  ## Selection of one item from a list of items: <command type='radio'>
-@@ -132,7 +146,9 @@
+@@ -129,7 +143,9 @@
  				&	command.radio.attrs.radiogroup #REVISIT taking liberties here
  				&	command.radio.attrs.checked?
  				)
@@ -347,7 +347,7 @@
  		)
  		command.radio.attrs.type =
  			attribute type {
-@@ -146,6 +162,18 @@
+@@ -143,6 +159,18 @@
  			attribute checked {
  				w:string "checked" | w:string ""
  			}
@@ -366,7 +366,7 @@
  	command.elem |= command.radio.elem
  
  ## State or option that can be toggled: <command type='checkbox'>
-@@ -157,7 +185,9 @@
+@@ -154,7 +182,9 @@
  			&	(	command.checkbox.attrs.type
  				&	command.checkbox.attrs.checked?
  				)
@@ -377,7 +377,7 @@
  			)
  		command.checkbox.attrs.type =
  			attribute type {
-@@ -167,25 +197,20 @@
+@@ -164,25 +194,20 @@
  			attribute checked {
  				w:string "checked" | w:string ""
  			}
Received on Friday, 26 June 2009 10:05:58 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 26 June 2009 10:05:58 GMT