Make `x doc --open` work on every book#108394

Merged

bors merged 1 commit intorust-lang:masterfrom ferrocene:pa-open

Mar 1, 2023

+20-15

Commits on Feb 23, 2023

make --open work on all books
pietroalbini
committed