diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2023-11-07 16:46:28 +0000 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2023-11-07 17:22:27 +0000 |
| commit | e9308f1ef587df5ffe67b13395e6a1b77947845b (patch) | |
| tree | bc4c91995e826bb58ca7cb11df2a65a58a673ed0 /bin | |
| parent | 2f56031c2e441d59b49439329a0efa84d7d102c4 (diff) | |
| download | torspec-e9308f1ef587df5ffe67b13395e6a1b77947845b.tar.gz torspec-e9308f1ef587df5ffe67b13395e6a1b77947845b.zip | |
make_redirects: Rename the marker string variables
We're going to use these for a non-README file. What they really
are is comments in HTML format, so use that for the name.
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 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)) |