bootstrap: correctly handle doc paths within submodules#135096

Merged

bors merged 1 commit intorust-lang:masterfrom

jieyouxu:fix-doc-submodule-handling

Jan 4, 2025

Commits on Jan 4, 2025

bootstrap: make `is_path_in_submodule` return optional submodule path instead
jieyouxu
committed