Re: [PATCH 00/10] rust: clean and enable Clippy `doc_markdown` lint

[Benno Lossin]

On Tue Mar 25, 2025 at 12:09 AM CET, Miguel Ojeda wrote:
> On Mon, Mar 24, 2025 at 11:59 PM Benno Lossin <benno.lossin@xxxxxxxxx> wrote:
>>
>> Not sure what you mean by this, but I think we need some way to disable
>> it for some acronyms.
>
> I meant that maintaining the list in that file (i.e. globally) could
> be a bit painful if we get a lot of terms, but I guess we can find
> workarounds for that if it gets bad.

I think we can just see if it's a problem. If we keep each term on its
own line, merging should be easy.

---
Cheers,
Benno