commit: 186800b1a74a7e01805632c5ed23737681b5be10
Author: Ulrich Müller <ulm <AT> gentoo <DOT> org>
AuthorDate: Fri Aug 28 17:46:10 2020 +0000
Commit: Ulrich Müller <ulm <AT> gentoo <DOT> org>
CommitDate: Fri Aug 28 17:46:10 2020 +0000
URL: https://gitweb.gentoo.org/proj/devmanual.git/commit/?id=186800b1
devbook.dtd: Tighten definition of <title>.
Signed-off-by: Ulrich Müller <ulm <AT> gentoo.org>
devbook.dtd | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/devbook.dtd b/devbook.dtd
index 16037de..17fb59b 100644
--- a/devbook.dtd
+++ b/devbook.dtd
@@ -6,7 +6,8 @@
<!ENTITY % block.class "p|pre|codesample|note|important|warning|todo
|figure|table|ul|ol|dl">
-<!ENTITY % inline.class "b|c|e|d|uri">
+<!ENTITY % attrib.class "b|c|e">
+<!ENTITY % inline.class "%attrib.class;|d|uri">
<!ENTITY % all.class "%block.class;|%inline.class;">
<!ELEMENT guide (chapter, include*)>
@@ -21,9 +22,8 @@
<!ELEMENT subsection (title, (body|subsubsection), subsubsection*)>
<!ELEMENT subsubsection (title, body)>
-<!-- Title texts are used as anchors, so we shouldn't allow any formatting,
- but unfortunately it is used in the document. -->
-<!ELEMENT title (#PCDATA|%inline.class;)*>
+<!-- Title texts are used as anchors, so allow only text attributes -->
+<!ELEMENT title (#PCDATA|%attrib.class;)*>
<!ELEMENT body (authors|contentsTree|%block.class;)+>
