diff --git a/xml/cl.xml b/xml/cl.xml index e0784300..f42cc2c6 100644 --- a/xml/cl.xml +++ b/xml/cl.xml @@ -6093,7 +6093,7 @@ server's OpenCL/api-docs repository. - + @@ -7286,7 +7286,7 @@ server's OpenCL/api-docs repository. - + @@ -7377,7 +7377,7 @@ server's OpenCL/api-docs repository. - + diff --git a/xml/registry.rnc b/xml/registry.rnc index ff85c0d1..6733b0f0 100644 --- a/xml/registry.rnc +++ b/xml/registry.rnc @@ -453,7 +453,6 @@ Extensions = element extensions { # author - name of the author (usually a company or project name) # contact - contact responsible for the tag (name and contact information) # type - 'device' or 'instance', if present -# condition - C preprocessor expression (**TBD**) # depends - boolean expression of API and/or extension names # upon which this extension depends. # supported - comma-separated list of API name(s) supporting this extension, @@ -487,7 +486,6 @@ Extension = element extension { attribute author { text } ? , attribute contact { text } ? , attribute type { text } ? , - attribute condition { text } ? , attribute depends { text } ?, attribute supported { StringGroup } ? , attribute ratified { text } ? ,