RelaxNG/publidoc.rnc
changeset 231 3b409238c9f9
parent 226 e48bb0f52815
child 232 3433c1953c64
equal deleted inserted replaced
230:0decd945374e 231:3b409238c9f9
   834 
   834 
   835 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ warning ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   835 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ warning ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   836 
   836 
   837 warning = element warning { warning.content }
   837 warning = element warning { warning.content }
   838 
   838 
   839 warning.content = text
   839 warning.content = inlines