diff options
Diffstat (limited to 'docs/manual/style/manualpage.dtd')
| -rw-r--r-- | docs/manual/style/manualpage.dtd | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/manual/style/manualpage.dtd b/docs/manual/style/manualpage.dtd index 17742548..e9c22a04 100644 --- a/docs/manual/style/manualpage.dtd +++ b/docs/manual/style/manualpage.dtd @@ -24,4 +24,6 @@ <!ELEMENT manualpage (parentdocument?, title, summary?, seealso*, section*)> -<!ATTLIST manualpage metafile CDATA #REQUIRED> +<!ATTLIST manualpage metafile CDATA #REQUIRED + upgrade CDATA #IMPLIED +> |