Series-acked-by: Chengwen Feng <[email protected]>
On 7/16/2026 6:31 PM, Thomas Monjalon wrote: > Links and references to other guide sections had multiple issues, > all solved in this series. > > The important metric in cleanups is having more deletions than additions: > 278 files changed, 1054 insertions(+), 1700 deletions(-) > meaning it should be easier to maintain. > > > David Marchand (1): > doc: remove unused labels from guides > > Nandini Persad (1): > doc: add prefixes to guide labels > > Thomas Monjalon (6): > doc: adjust heading underline lengths > doc: replace vague references with precise links > doc: shorten page references in guides > doc: link whole-guide references to pages > doc: remove redundant link captions > doc: avoid numbered guide references
