RelaxNG/publidoc.rnc
changeset 436 e0506760c16d
parent 435 acc07d9146ed
child 446 fb5511755683
--- a/RelaxNG/publidoc.rnc	sam. sept. 24 11:10:58 2016 +0200
+++ b/RelaxNG/publidoc.rnc	lun. oct. 10 12:25:33 2016 +0200
@@ -855,6 +855,8 @@
  & image*
  & audio*
  & smil*
+   
+ & nowrap*
 }
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
@@ -1067,6 +1069,12 @@
 
 smil.content = inlines
 
+# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ nowrap ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+nowrap = element nowrap { nowrap.content }
+
+nowrap.content = inlines
+
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ warning ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 warning = element warning { warning.attributes, warning.content }