13 Commits

Author	SHA1	Message	Date
Victor Zverovich	dc409ee86d	Explain mkdocs deploy invocation	2025-09-21 12:47:09 -07:00
Victor Zverovich	aa8a30838a	Fix mike invocation	2025-09-21 08:03:21 -07:00
Victor Zverovich	59259a5fde	Make a doc directory if it doesn't exist	2025-05-03 10:29:35 -07:00
Victor Zverovich	0c02813791	Fix doc build	2024-07-24 13:40:54 -07:00
Victor Zverovich	f8581bcecf	Add redirect page	2024-07-24 12:21:44 -07:00
Victor Zverovich	33a1de57af	Deploy docs, take 3	2024-06-09 17:26:37 -07:00
Victor Zverovich	d175db8f5b	Fix doc CI and clean workflows	2024-06-09 16:51:19 -07:00
Victor Zverovich	a8cfc0cc2c	Deploy dev docs	2024-06-09 16:34:50 -07:00
Victor Zverovich	65e278b286	Don't pollute the source directory	2024-06-09 16:20:54 -07:00
Victor Zverovich	3620c174a6	Fix doc build	2024-06-09 16:10:26 -07:00
Victor Zverovich	ed21034a10	Implement deployment	2024-06-09 15:53:16 -07:00
Victor Zverovich	ab6b257a39	Implement doc building	2024-06-09 13:17:13 -07:00
Victor Zverovich	b5c8fd783c	Fix doc build	2024-06-09 11:37:18 -07:00