2 Commits

Author	SHA1	Message	Date
MattHag	48ff85ab94	Publish GitHub pages only on push to master ... Avoid draft documentation from being published.	2024-08-23 18:44:14 -04:00
MattHag	59b30706b8	docs: Use mkdocs for public documentation (#2527) ... * Add mkdocs config Build and debug docs locally: mkdocs serve * Add mkdocs config * Introduce GitHub action for mkdocs * Delete outdated doc files * Generate Python documentation * Clean up docs - Remove ToDos from public docs	2024-07-01 08:03:50 -04:00