Hua work miscs#16

Merged

zaihuaji merged 4 commits into

mainfrom

Mar 26, 2026

Commits on Mar 26, 2026

Use RST named anchor references in replace_option_link()

zaihuaji
and
claude
committed
Extend RST anchor refs to cross-file links in replace_option_link()

zaihuaji
and
claude
committed
Merge write_toc() into write_index(); embed TOC in index.rst.temp

zaihuaji
and
claude
committed
commit changes
zaihuaji
committed