make targets: consider making doc generation part of default target #14424
Closed
Description
Currently, if I do make
, it builds the compiler and standard library.
If I then do make install
, it does a prepare step which runs quickly, then it discovers that it has not yet generated the docs, and so it does a rustdoc
run.
The rustdoc
step takes a while.
Then after that finishes, it does the rest of the installation, which runs quickly.
My expectation as a developer is that if I download a source distribution and run make
followed by make install
, the make
step could take a long time, but make install
should run very fast.
To resolve this conflict, I suggest that we make the default make
target also do doc generation, and potentially add some other make target for people who do not want the doc generation step while they are working.