From cc6376fdb6bb3bff8ce0b432e23b1fa4ed13a210 Mon Sep 17 00:00:00 2001 From: Cynthia Shang Date: Mon, 31 Dec 2018 09:19:38 +0200 Subject: [PATCH] Modify general document elements to allow any child element. This allows for nesting of elements such as and . Contributed by Cynthia Shang. --- doc/xml/dtd/doc.dtd | 16 ++++++---------- doc/xml/release.xml | 8 ++++++++ 2 files changed, 14 insertions(+), 10 deletions(-) diff --git a/doc/xml/dtd/doc.dtd b/doc/xml/dtd/doc.dtd index 5b1060087..81832c409 100644 --- a/doc/xml/dtd/doc.dtd +++ b/doc/xml/dtd/doc.dtd @@ -227,20 +227,16 @@ - + - - - + + + - + - + diff --git a/doc/xml/release.xml b/doc/xml/release.xml index a0c51fe28..248898bb3 100644 --- a/doc/xml/release.xml +++ b/doc/xml/release.xml @@ -299,6 +299,14 @@

Allow custom logo for PDF documentation.

+ + + + + +

Modify general document elements to allow any child element.

+
+

Use absolute paths so that ./doc.pl runs.