diff options
| -rw-r--r-- | devbook.rnc | 8 | ||||
| -rw-r--r-- | metadata.rnc | 1 |
2 files changed, 5 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)+ } diff --git a/metadata.rnc b/metadata.rnc index 6225eaf..bc2a43d 100644 --- a/metadata.rnc +++ b/metadata.rnc @@ -96,6 +96,7 @@ attlist.remote-id &= | "gitlab" | "gitorious" | "google-code" + | "heptapod" | "launchpad" | "pear" | "pecl" |