Error out if `cargo clean --doc` is mixed with `-p`.#12637

Merged

bors merged 1 commit intorust-lang:masterfrom ehuss:clean-doc-p

Sep 7, 2023

+20-1

Commits on Sep 7, 2023

Error out if cargo clean --doc is mixed with -p.
ehuss
committed