diff -r 32381a87f807 -r 5be33d03941a RelaxNG/publidoc.rng --- a/RelaxNG/publidoc.rng mar. sept. 27 17:12:04 2011 +0200 +++ b/RelaxNG/publidoc.rng mar. sept. 27 23:30:00 2011 +0200 @@ -935,7 +935,10 @@ - + + + + @@ -964,6 +967,15 @@ + + + + + + + + + - - - - - - - - - + @@ -1335,7 +1329,4 @@ - - -