Vegard Nossum f2c2f64900 docs: add tools/docs/gen-redirects.py ...

Add a new script and a new documentation 'make' target,
htmldocs-redirects.

This will generate HTML stub files in the HTML documentation output
directory that redirect the browser to the new path.

Suggested-by: Konstantin Ryabitsev <konstantin@linuxfoundation.org>
Suggested-by: Jonathan Corbet <corbet@lwn.net>
Signed-off-by: Vegard Nossum <vegard.nossum@oracle.com>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Message-ID: <20250905144608.577449-4-vegard.nossum@oracle.com>

2025-09-09 13:37:16 -06:00

..

lib

tools: docs: parse_data_structs.py: add methods to return output

2025-08-29 15:54:42 -06:00

gen-redirects.py

docs: add tools/docs/gen-redirects.py

2025-09-09 13:37:16 -06:00

gen-renames.py

docs: add tools/docs/gen-renames.py

2025-09-09 13:37:16 -06:00

parse-headers.py

tools: docs: parse_data_structs.py: add methods to return output

2025-08-29 15:54:42 -06:00