summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--devbook.rnc8
-rw-r--r--metadata.rnc1
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"