Improve HTML-Formatting, minor additions

The HTML manual is now post processed through tidy
which removes the problem of ">" not HTML encoded.

--color 0 is now explicitly mentioned to avoid escaped codes in the
output.

Minor changes wrt certificate stores
This commit is contained in:
Dirk
2019-01-08 13:56:55 +01:00
parent 0b98b7c735
commit e29b1f40e6
3 changed files with 656 additions and 436 deletions

File diff suppressed because it is too large Load Diff