diff options
Diffstat (limited to 'docs/manual/style/manualpage.dtd')
| -rw-r--r-- | docs/manual/style/manualpage.dtd | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/manual/style/manualpage.dtd b/docs/manual/style/manualpage.dtd index a0ef109ee9..585ba28503 100644 --- a/docs/manual/style/manualpage.dtd +++ b/docs/manual/style/manualpage.dtd @@ -6,3 +6,5 @@ <!-- <manualpage> is the root element --> <!ELEMENT manualpage (relativepath, parentdocument?, title, summary?, seealso*, section*)> + +<!ATTLIST manualpage metafile CDATA #REQUIRED> |