diff -r 52c72abcc57d -r 5d58a740a067 RelaxNG/publidoc.rnc
--- a/RelaxNG/publidoc.rnc	sam. janv. 07 12:21:10 2012 +0100
+++ b/RelaxNG/publidoc.rnc	lun. janv. 09 19:21:44 2012 +0100
@@ -241,7 +241,7 @@
 #                                 DIVISION LEVEL
 # =============================================================================
 
-# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 division = element division { division.content }