David Steele def7d513cd Eliminate linefeed formatting from documentation. ... Linefeeds were originally used in the place of <p> tags to denote a paragraph. While much of the linefeed usage has been replaced over time, there were many places where it was still being used, especially in reference.xml. This made it difficult to get consistent formatting across different output types. In particular there were formatting issues in the command-line help because it is harder to audit than HTML or PDF. Replace linefeed formatting with proper <p> tags to make formatting more consistent. Remove double spaces in all text where <p> tags were added since it does not add churn. Update all <ul>/<ol>/<li> tags to the more general <list>/<list-item> tags. Add a few missing periods.		2021-09-08 17:35:45 -04:00
..
doc.dtd	Eliminate linefeed formatting from documentation.	2021-09-08 17:35:45 -04:00
manifest.dtd	Allow if in manifest variables.	2019-01-24 11:11:12 +02:00