From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 3641E138359 for ; Fri, 28 Aug 2020 17:46:56 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 52659E09E1; Fri, 28 Aug 2020 17:46:55 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 36AB3E09E1 for ; Fri, 28 Aug 2020 17:46:55 +0000 (UTC) Received: from oystercatcher.gentoo.org (unknown [IPv6:2a01:4f8:202:4333:225:90ff:fed9:fc84]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id A170C335DB3 for ; Fri, 28 Aug 2020 17:46:53 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 201352D2 for ; Fri, 28 Aug 2020 17:46:52 +0000 (UTC) From: "Ulrich Müller" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Ulrich Müller" Message-ID: <1598636770.186800b1a74a7e01805632c5ed23737681b5be10.ulm@gentoo> Subject: [gentoo-commits] proj/devmanual:master commit in: / X-VCS-Repository: proj/devmanual X-VCS-Files: devbook.dtd X-VCS-Directories: / X-VCS-Committer: ulm X-VCS-Committer-Name: Ulrich Müller X-VCS-Revision: 186800b1a74a7e01805632c5ed23737681b5be10 X-VCS-Branch: master Date: Fri, 28 Aug 2020 17:46:52 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: 703e27ce-6d9d-4c66-bd16-349579096cee X-Archives-Hash: 4546c177f495c1eb9f2e19aad0fab0d2 commit: 186800b1a74a7e01805632c5ed23737681b5be10 Author: Ulrich Müller gentoo org> AuthorDate: Fri Aug 28 17:46:10 2020 +0000 Commit: Ulrich Müller gentoo 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 . 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;)+>