Ran English HTML docs through HTML Tidy
See "RELEASE.txt" for the invocation. Mended a few things prior to final run of `tidy`, based on HTML Tidy's output. Updated any affected TXT files via Makefile.
This commit is contained in:
parent
b93317efae
commit
cbb56c4041
10 changed files with 11670 additions and 6917 deletions
2665
docs/en/OPTIONS.txt
2665
docs/en/OPTIONS.txt
File diff suppressed because it is too large
Load diff
Loading…
Add table
Add a link
Reference in a new issue