2 commits

Author	SHA1	Message	Date
leo60228	9fc2132293	Fix fix_links.py (#4711) ... Autolinks were getting discarded when lowercasing anchors, oops.	2024-06-03 14:39:25 -04:00
leo60228	e925c51391	Convert docs/ folder to mdBook (#4684) ... * Convert docs/ folder to mdBook * INSTALL.md Markdown fixes (also affects GitHub web) * Don't try to rewrite bare links in HTML attributes * lowercase anchors in fix_links.py	2024-06-03 13:34:39 -04:00