Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #28174 - steveklabnik:gh14705, r=alexcricton
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
- Loading branch information