diff options
author | Ulrich Müller <ulm@gentoo.org> | 2020-08-28 19:46:10 +0200 |
---|---|---|
committer | Ulrich Müller <ulm@gentoo.org> | 2020-08-28 19:46:10 +0200 |
commit | 186800b1a74a7e01805632c5ed23737681b5be10 (patch) | |
tree | ef8882922aeab2e702c810189d02f30b94a1374f | |
parent | devbook-guide: Opening tags should not be split between lines. (diff) | |
download | devmanual-186800b1.tar.gz devmanual-186800b1.tar.bz2 devmanual-186800b1.zip |
devbook.dtd: Tighten definition of <title>.
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
-rw-r--r-- | devbook.dtd | 8 |
1 files 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;)+> |