Change all explicitly created <a name="..."> anchors to lowercase (#2304)

GitHub Flavored Markdown requires these anchors to be all-lowercase for
markdown-style links within the document to work.

Also change one anchor that uses '*' which isn't valid in HTML or
Markdown.

And rename duplicate anchor res-macros to res-macros3.
This commit is contained in:
Jonathan Wakely
2025-11-13 18:12:56 +00:00
committed by GitHub
parent 0572c075fc
commit ee52a86110
2 changed files with 1656 additions and 1646 deletions

File diff suppressed because it is too large Load Diff