d617602f66
While here: - remove rustdoc from _RUST_TOOLS, it has to be added only when DOCS option is enabled - add DOCS to OPTIONS_DEFAULT [1] - building docs on armv7 is fixed PR: 285381 [1]