4 Commits

Include renames

Author	SHA1	Message	Date
MM20	19c092a5ee	Fix github docs workflow	2024-02-05 01:03:46 +01:00
MM20	78b0822e34	Migrate docs to VitePress	2024-02-05 01:02:32 +01:00
U. N. Owen	372ca07520	Only redeploy docs when docs have actually changed	2022-10-09 22:49:39 +02:00
U. N. Owen	5fc8fd623b	Rename deploy-docs to deploy-docs.yml	2022-10-09 22:23:48 +02:00