Re: [PATCH 0/1] fix rustdoc build detection

[Miguel Ojeda]

On Mon, Nov 17, 2025 at 10:13 AM Mauro Carvalho Chehab
<mchehab+huawei@xxxxxxxxxx> wrote:
>
> Another alternative would be to modify the rustdoc target inside
> rust Makefile to make it dependent on htmldocs, but that would require
> more work.

Why? No, there is no need to build any htmldocs to build the Rust
documentation, so that would be wrong.

Cheers,
Miguel