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
This commit is contained in:
parent
ef02ffa9fb
commit
7c8c72d3b0
@ -191,6 +191,7 @@ ifdef CFG_DISABLE_DOCS
|
|||||||
endif
|
endif
|
||||||
|
|
||||||
docs: $(DOC_TARGETS)
|
docs: $(DOC_TARGETS)
|
||||||
|
doc: docs
|
||||||
compiler-docs: $(COMPILER_DOC_TARGETS)
|
compiler-docs: $(COMPILER_DOC_TARGETS)
|
||||||
|
|
||||||
trpl: doc/book/index.html
|
trpl: doc/book/index.html
|
||||||
|
Loading…
Reference in New Issue
Block a user