15 Commits

Author	SHA1	Message	Date
Victor Zverovich	e6a8751df7	Restore api.html redirect to fix broken deep links ... Re-enable generation of the api.html redirect page during docs deploy so legacy links such as api.html#udt forward to the new MkDocs api/ page with their URL hash preserved.	2026-06-05 08:06:58 -07:00
Victor Zverovich	c5e55972ae	Minor improvements to mkdocs	2025-09-21 12:47:15 -07:00
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