rustdoc: Prune the paths that do not appear in the index.#13402

lifthrasiir wants to merge 3 commits intorust-lang:masterrust-lang/rust:masterfrom

lifthrasiir:rustdoc-prune-pathslifthrasiir/rust:rustdoc-prune-pathsCopy head branch name to clipboard