diff options
| author | Vegard Nossum <vegard.nossum@oracle.com> | 2025-09-05 16:46:08 +0200 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2025-09-09 13:37:16 -0600 |
| commit | f2c2f6490085e29521f87d5464b2cdceff0f0c7a (patch) | |
| tree | 72263bec92d8af4dabd1551d15822552e9089076 /scripts/extract-fwblobs | |
| parent | 4b6fba464322f5850dbcce32f3a25eeebf64e770 (diff) | |
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>
Diffstat (limited to 'scripts/extract-fwblobs')
0 files changed, 0 insertions, 0 deletions