diff options
Diffstat (limited to 'devbook.rnc')
-rw-r--r-- | devbook.rnc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/devbook.rnc b/devbook.rnc index 529471e..54659de 100644 --- a/devbook.rnc +++ b/devbook.rnc @@ -21,7 +21,8 @@ block.class = | ul | ol | dl -inline.class = b | c | e | d | uri +attrib.class = b | c | e +inline.class = attrib.class | d | uri all.class = block.class | inline.class guide = element guide { guide.attlist, chapter, \include* } guide.attlist &= @@ -45,9 +46,8 @@ subsection.attlist &= empty subsubsection = element subsubsection { subsubsection.attlist, title, body } subsubsection.attlist &= empty -# Title texts are used as anchors, so we shouldn't allow any formatting, -# but unfortunately it is used in the document. -title = element title { title.attlist, (text | inline.class)* } +# Title texts are used as anchors, so allow only text attributes +title = element title { title.attlist, (text | attrib.class)* } title.attlist &= empty body = element body { body.attlist, (authors | contentsTree | block.class)+ } |