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