On Tue, Dec 6, 2022 at 2:32 PM Akira Yokosawa <akiyks@xxxxxxxxx> wrote: > > Why is RUSTDOC invoked when there is no change in rustdoc? I think we can give proper dependencies to `rustdoc`, so if that is the main concern, then it should be OK. But note that `htmldocs` also calls Sphinx every run. It does a subset of the work, but perhaps we can save some time there if we could detect whether anything changed. > I think you can add a new target in the top-devel Makefile which > runs both rustdoc and htmldocs for CIs. Something like 'htmldocsboth' > or 'htmldocsall'??? > > htmldocs and other *docs targets are the most primitive ones for > running Sphinx, so my gut feeling tells me _not_ to contaminate > htmldocs with rustdoc or vice versa. That is reasonable, but others wanted it in `htmldocs` (and the goal is to eventually do so, so if we can do it already, even better). Cheers, Miguel
