RelaxNG/publiset.rnc
changeset 127 efce69890bfd
parent 126 59658f3a4f6f
child 152 fddb2b67c19c
equal deleted inserted replaced
126:59658f3a4f6f 127:efce69890bfd
    51 
    51 
    52 composition.head.attributes =
    52 composition.head.attributes =
    53    remap.attributes
    53    remap.attributes
    54 
    54 
    55 composition.head.content =
    55 composition.head.content =
    56    (title, subtitle?)?
    56    (title, shorttitle?, subtitle?)?
    57  & identifier*
    57  & identifier*
    58  & copyright?
    58  & copyright?
    59  & contributors?
    59  & contributors?
    60  & keywordset?
    60  & keywordset?
    61  & abstract?
    61  & abstract?
   116 
   116 
   117 # ~~~~~~ division.head
   117 # ~~~~~~ division.head
   118 division.head = element head { division.head.content }
   118 division.head = element head { division.head.content }
   119 
   119 
   120 division.head.content =
   120 division.head.content =
   121    (title, subtitle?)?
   121    (title, shorttitle?, subtitle?)?
   122 
   122 
   123 
   123 
   124 # =============================================================================
   124 # =============================================================================
   125 #                                  FILE LEVEL
   125 #                                  FILE LEVEL
   126 # =============================================================================
   126 # =============================================================================
   159 # =============================================================================
   159 # =============================================================================
   160 
   160 
   161 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ title, subtitle ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   161 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ title, subtitle ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   162 
   162 
   163 title = element title { title.content }
   163 title = element title { title.content }
       
   164 shorttitle = element shorttitle { title.content }
   164 subtitle = element subtitle { title.content }
   165 subtitle = element subtitle { title.content }
   165 
   166 
   166 title.content = inlines
   167 title.content = inlines
   167 
   168 
   168 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ identifier ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   169 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ identifier ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~