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