diff options
| author | Steve Klabnik <steve@steveklabnik.com> | 2015-09-02 18:03:17 -0400 |
|---|---|---|
| committer | Steve Klabnik <steve@steveklabnik.com> | 2015-09-02 22:00:58 -0400 |
| commit | 7c8c72d3b0d12b6d595c7316c3e68a205acdeaf8 (patch) | |
| tree | e9c571a9fdcc0cd76a00c5a73f47f819251f239d | |
| parent | ef02ffa9fbb3d9cf6c597e30e6c81265bec6072e (diff) | |
| download | rust-7c8c72d3b0d12b6d595c7316c3e68a205acdeaf8.tar.gz rust-7c8c72d3b0d12b6d595c7316c3e68a205acdeaf8.zip | |
Introduce 'make doc' -> 'make docs'
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
| -rw-r--r-- | mk/docs.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mk/docs.mk b/mk/docs.mk index b06ff4a6027..644fbde323c 100644 --- a/mk/docs.mk +++ b/mk/docs.mk @@ -191,6 +191,7 @@ ifdef CFG_DISABLE_DOCS endif docs: $(DOC_TARGETS) +doc: docs compiler-docs: $(COMPILER_DOC_TARGETS) trpl: doc/book/index.html |