Rustup doc fails on Raspberry Pi

#1

Hi, (1st time poster here…)
I’ve just installed rust on a Raspberry Pi and a MINT-19 X86-64 desktop.
Both installs went OK, but rustup doc works on the X86-64 but fails on the PI.
There is an error pop-up that says “/home/pi/.rustup/toolchains/stable-armv7-unknown-linux-gnueabihf/share/doc/rust/html/index.html: No such file or directory”

While /home/pi/.rustup/toolchains/stable-armv7-unknown-linux-gnueabihf/share/doc/rust/ exists there is no html subdirectory.

How do I get the missing subdirectory and files installed ?

Thanks

PeterO

#2

How exactly did you installed them? Did you use https://rustup.rs/?

#3

Yes, I followed the instructions on https://www.rust-lang.org/tools/install rather than use the packages provided in the respective distribution repositories as both are a “bit behind the curve” with MINT providing 1.30 and Raspbian having 1.24.