2 Commits

Author	SHA1	Message	Date
Powei Feng	597cf9a3ae	docs: fix broken markdeep generation (#9514) ... The breakage is due to breaking changes in the latest version. We use the repo checked-in version instead. Also make sure postsubmit.sh script exits on any error	2025-12-12 23:02:28 +00:00
Powei Feng	e0d19c8442	docs: post-submit update flow (#8906) ... - Move directories into more descriptive organization - src_mdbook, src_markdeep, src_raw - mdbook will be generated from mdbook - markdeep will be generated to html - raw will be copied without modification - Add script that will run on a succesful commit to main. This script will update /docs and commit the changes.	2025-07-07 20:08:27 +00:00