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 4cd4e05..9499384 100755 --- a/bin/make_redirects +++ b/bin/make_redirects @@ -16,8 +16,8 @@ def update_file(fname, start_marker, end_marker, replacement): BOOK_START = "# BEGIN AUTO-GENERATED REDIRECTS\n" BOOK_END = "# END AUTO-GENERATED REDIRECTS\n" -README_START = "<!-- BEGIN AUTO-GENERATED REDIRECTS -->\n" -README_END = "<!-- END AUTO-GENERATED REDIRECTS -->\n" +HTML_MARKER_START = "<!-- BEGIN AUTO-GENERATED REDIRECTS -->\n" +HTML_MARKER_END = "<!-- END AUTO-GENERATED REDIRECTS -->\n" def book_redirects(rs, spec_dir): lines = [] @@ -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, README_START, README_END, readme_redirects(rs)) + update_file(readme_fname, HTML_MARKER_START, HTML_MARKER_END, readme_redirects(rs)) update_file(prop_book_fname, BOOK_START, BOOK_END, proposal_redirects(prop_dir)) |