David Steele 7c9eaf7210 Add cmd-description tag. ...

Allow command summaries to be inserted anywhere in the documentation to avoid duplication.

2016-06-12 09:01:56 -04:00

..

doc.dtd

Add cmd-description tag.

2016-06-12 09:01:56 -04:00

manifest.dtd

A number of doc improvements:

2015-12-23 11:04:26 -05:00