mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-16 13:05:18 +03:00
69c3b39d0d
Because 'doc' is a directory, when running `make doc`, you'll see
this:
make: Nothing to be done for `doc'.
By adding a target for `doc` to build `docs`, both work.
Fixes #14705