diff options
Diffstat (limited to 'bin/make_redirects')
| -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)) |