On 7/17/23 11:39, Miguel Ojeda wrote:
On Mon, Jul 17, 2023 at 5:17 PM Carlos Bilbao <carlos.bilbao@xxxxxxx> wrote:
+ # Let Sphinx know we will include rustdoc
+ ALLSPHINXOPTS += -t rustdoc
This is needed in the previous patch, no? I don't know if it fails or
just does not work, but either way, perhaps you can split that from
the first commit to put it last.
The previous patch works without this, the generated HTML will show in the
Rust index:
This documentation does not include rustdoc generated information.
+else
+ @echo " Skipping Rust documentation since CONFIG_RUST is not y."
+endif
Is this printed for everybody? If so, then I think it is a good idea
for the future, but perhaps a bit annoying right for most users right
now.
Fair point, will remove as part of v8.
Cheers,
Miguel
(CC'ed rust-for-linux list)
Thanks,
Carlos
