diff options
Diffstat (limited to 'man/xmltoman.dtd')
| -rw-r--r-- | man/xmltoman.dtd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/xmltoman.dtd b/man/xmltoman.dtd index 018e1d8..50158dc 100644 --- a/man/xmltoman.dtd +++ b/man/xmltoman.dtd @@ -28,7 +28,7 @@ <!ATTLIST section name CDATA #REQUIRED> <!ELEMENT option (#PCDATA | p | optdesc)*> <!ELEMENT optdesc (#PCDATA | p )*> -<!ELEMENT cmd (#PCDATA | arg)*> +<!ELEMENT cmd (#PCDATA | arg | opt)*> <!ELEMENT options (p | option)*> <!ELEMENT seealso (p)*> <!ELEMENT opt (#PCDATA)> |