changeset 64 | 2d6627e9d3d6 |
parent 63 | 60d5d3f81e19 |
child 66 | 29c53c3d676e |
--- a/RelaxNG/publidoc.rng jeu. déc. 22 02:02:02 2011 +0100 +++ b/RelaxNG/publidoc.rng jeu. déc. 22 13:43:17 2011 +0100 @@ -585,9 +585,14 @@ </element> </define> <define name="section.attributes"> - <optional> - <ref name="section.type.attribute"/> - </optional> + <interleave> + <optional> + <ref name="section.type.attribute"/> + </optional> + <optional> + <ref name="lang.attribute"/> + </optional> + </interleave> </define> <define name="section.type.attribute"> <attribute name="type">