# HG changeset patch # User Patrick PIERRE # Date 1353006020 -3600 # Node ID 72f40ed625aaac122e7a1473598a0128d8375a29 # Parent 4b67a859439a9495d7e6de080f910d9fc8f8e61e

dans diff -r 4b67a859439a -r 72f40ed625aa RelaxNG/publidoc.rnc --- a/RelaxNG/publidoc.rnc ven. nov. 09 22:11:55 2012 +0100 +++ b/RelaxNG/publidoc.rnc jeu. nov. 15 20:00:20 2012 +0100 @@ -646,7 +646,7 @@ note.label.attribute = attribute label { text } note.content = - (w, p+) | inlines + (w?, p+) | inlines w = element w { inlines }