- The "example" element can now contain sub-elements.

- Added entities for Unicode quotes.

diff --git a/docs/dtd/module.dtd b/docs/dtd/module.dtd
index d280b90a35bb62bb78bc243902611226d3446ceb..40a807e1b42e524b245a90567e608d8060a5f082 100644 (file)
--- a/docs/dtd/module.dtd
+++ b/docs/dtd/module.dtd
@@ -41,7 +41,7 @@
 
 <!ELEMENT   emphasis    (#PCDATA)* >
 
-<!ELEMENT   example     (#PCDATA)* >
+<!ELEMENT   example     ANY >
 
 <!ELEMENT   header      (#PCDATA | argument)* >
 
@@ -79,3 +79,7 @@
 
 <!ENTITY    nbsp        "&#xA0;" >
 <!ENTITY    mdash       "&nbsp;- " >
+<!ENTITY    lsquo       "&#8216;">
+<!ENTITY    rsquo       "&#8217;">
+<!ENTITY    ldquo       "&#8220;">
+<!ENTITY    rdquo       "&#8221;">