2 commits

Author	SHA1	Message	Date
leo60228	566ad6d869	Don't try to deploy to GitHub Pages if it's not enabled (#4809)	2024-06-25 11:10:52 +02: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