diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2023-11-07 16:46:31 +0000 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2023-11-07 17:22:27 +0000 |
| commit | e8b358d7da34aa524d832517996ef1b62ed77b7e (patch) | |
| tree | 88f4878b45bf4597e3fbbef4a7bf056c272c10d2 /bin | |
| parent | e9308f1ef587df5ffe67b13395e6a1b77947845b (diff) | |
| download | torspec-e8b358d7da34aa524d832517996ef1b62ed77b7e.tar.gz torspec-e8b358d7da34aa524d832517996ef1b62ed77b7e.zip | |
Move the permalinks to permalinks.md (code motion)
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/make_redirects | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bin/make_redirects b/bin/make_redirects index 9499384..a26b871 100755 --- a/bin/make_redirects +++ b/bin/make_redirects @@ -38,7 +38,7 @@ def book_redirects(rs, spec_dir): ) return "".join(lines) -def readme_redirects(rs): +def permalinks_redirects(rs): lines = [ "<dl>\n" ] for kwd, info in rs.items(): target = info['target'] @@ -66,7 +66,7 @@ if __name__ == '__main__': toplevel = os.path.join(os.path.dirname(sys.argv[0]), "..") spec_book_fname = os.path.join(toplevel, "mdbook", "spec", "book.toml") spec_dir = os.path.join(toplevel, "spec") - readme_fname = os.path.join(toplevel, "spec", "README.md") + permalinks_fname = os.path.join(toplevel, "spec", "permalinks.md") prop_dir = os.path.join(toplevel, "proposals") prop_book_fname = os.path.join(toplevel, "mdbook", "proposals", "book.toml") yaml_fname = os.path.join(toplevel, "mdbook", "spec", "spec-redirects.yaml") @@ -74,5 +74,5 @@ if __name__ == '__main__': rs = yaml.load(open(yaml_fname), yaml.Loader)['redirects'] update_file(spec_book_fname, BOOK_START, BOOK_END, book_redirects(rs, spec_dir)) - update_file(readme_fname, HTML_MARKER_START, HTML_MARKER_END, readme_redirects(rs)) + update_file(permalinks_fname, HTML_MARKER_START, HTML_MARKER_END, permalinks_redirects(rs)) update_file(prop_book_fname, BOOK_START, BOOK_END, proposal_redirects(prop_dir)) |