diff options
-rwxr-xr-x | bin/make_redirects.py | 6 | ||||
-rw-r--r-- | mdbook/proposals/book.toml | 48 |
2 files changed, 28 insertions, 26 deletions
diff --git a/bin/make_redirects.py b/bin/make_redirects.py index f7347c6..3e677ee 100755 --- a/bin/make_redirects.py +++ b/bin/make_redirects.py @@ -51,8 +51,10 @@ def proposal_redirects(proposals_dir): m = re.match(r'^(\d+)-.*\.(?:md|txt)$', fname) if m: source = m.group(1) + ".html" - target = fname - lines.append(f'"/{source}" = "./{target}"\n') + target, targetext = os.path.splitext(fname) + if targetext == '.md': + targetext = ".html" + lines.append(f'"/{source}" = "./{target}{targetext}"\n') lines.sort() return "".join(lines) diff --git a/mdbook/proposals/book.toml b/mdbook/proposals/book.toml index b722b4d..c979359 100644 --- a/mdbook/proposals/book.toml +++ b/mdbook/proposals/book.toml @@ -242,36 +242,36 @@ enable = false "/311.html" = "./311-relay-ipv6-reachability.txt" "/312.html" = "./312-relay-auto-ipv6-addr.txt" "/313.html" = "./313-relay-ipv6-stats.txt" -"/314.html" = "./314-allow-markdown-proposals.md" +"/314.html" = "./314-allow-markdown-proposals.html" "/315.html" = "./315-update-dir-required-fields.txt" -"/316.html" = "./316-flashflow.md" +"/316.html" = "./316-flashflow.html" "/317.html" = "./317-secure-dns-name-resolution.txt" -"/318.html" = "./318-limit-protovers.md" -"/319.html" = "./319-wide-everything.md" -"/320.html" = "./320-tap-out-again.md" -"/321.html" = "./321-happy-families.md" -"/322.html" = "./322-dirport-linkspec.md" -"/323.html" = "./323-walking-onions-full.md" +"/318.html" = "./318-limit-protovers.html" +"/319.html" = "./319-wide-everything.html" +"/320.html" = "./320-tap-out-again.html" +"/321.html" = "./321-happy-families.html" +"/322.html" = "./322-dirport-linkspec.html" +"/323.html" = "./323-walking-onions-full.html" "/324.html" = "./324-rtt-congestion-control.txt" -"/325.html" = "./325-packed-relay-cells.md" -"/326.html" = "./326-tor-relay-well-known-uri-rfc8615.md" +"/325.html" = "./325-packed-relay-cells.html" +"/326.html" = "./326-tor-relay-well-known-uri-rfc8615.html" "/327.html" = "./327-pow-over-intro.txt" -"/328.html" = "./328-relay-overload-report.md" +"/328.html" = "./328-relay-overload-report.html" "/329.html" = "./329-traffic-splitting.txt" -"/330.html" = "./330-authority-contact.md" -"/331.html" = "./331-res-tokens-for-anti-dos.md" -"/332.html" = "./332-ntor-v3-with-extra-data.md" -"/333.html" = "./333-vanguards-lite.md" +"/330.html" = "./330-authority-contact.html" +"/331.html" = "./331-res-tokens-for-anti-dos.html" +"/332.html" = "./332-ntor-v3-with-extra-data.html" +"/333.html" = "./333-vanguards-lite.html" "/334.html" = "./334-middle-only-flag.txt" -"/335.html" = "./335-middle-only-redux.md" -"/336.html" = "./336-randomize-guard-retries.md" -"/337.html" = "./337-simpler-guard-usability.md" -"/338.html" = "./338-netinfo-y2038.md" -"/339.html" = "./339-udp-over-tor.md" -"/340.html" = "./340-packed-and-fragmented.md" -"/341.html" = "./341-better-oos.md" -"/342.html" = "./342-decouple-hs-interval.md" +"/335.html" = "./335-middle-only-redux.html" +"/336.html" = "./336-randomize-guard-retries.html" +"/337.html" = "./337-simpler-guard-usability.html" +"/338.html" = "./338-netinfo-y2038.html" +"/339.html" = "./339-udp-over-tor.html" +"/340.html" = "./340-packed-and-fragmented.html" +"/341.html" = "./341-better-oos.html" +"/342.html" = "./342-decouple-hs-interval.html" "/343.html" = "./343-rend-caa.txt" "/344.html" = "./344-protocol-info-leaks.txt" -"/345.html" = "./345-specs-in-mdbook.md" +"/345.html" = "./345-specs-in-mdbook.html" # END AUTO-GENERATED REDIRECTS |