On Mon, Jul 17, 2023 at 5:16 PM Carlos Bilbao <carlos.bilbao@xxxxxxx> wrote: > > +# Where to place rustdoc generated documentation > +RUSTDOC_OUTPUT = $(objtree)/Documentation/output/rust/rustdoc I think we may be able to get away with just `:=` instead of `=`. Also, I assume this is intended to be overridable by the user, right? i.e. that is why you wrote the identifier as uppercase. In addition, I thought about basing it on `BUILDDIR` from the Doc's `Makefile`, but that probably needs moving that one so that we can access it here (in the case where we are not building as part of `htmldocs`), and thus maybe it is not worth it. (Cc'ing the rust-for-linux list, by the way) Cheers, Miguel