diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/dtd/module.dtd | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/docs/dtd/module.dtd b/docs/dtd/module.dtd index d280b90a3..40a807e1b 100644 --- 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 " " > <!ENTITY mdash " - " > +<!ENTITY lsquo "‘"> +<!ENTITY rsquo "’"> +<!ENTITY ldquo "“"> +<!ENTITY rdquo "”"> |