Allow documentation redirects.
Review Request #14440 — Created May 16, 2025 and submitted — Latest diff uploaded
This change allows documentation page paths to be redirected to other
pages. We follow what we do for our Review Board codebase docs, where we:
- Add aredirects.json
file that contains the redirect info
- Point to that file incollect_file_patterns
in ourconf.py
- Rely on thebeanbag_docutils.sphinx.ext.collect_files
extension to
collect the redirect info.The redirect info will be filled out in other changes.
Used in other changes.