From e9308f1ef587df5ffe67b13395e6a1b77947845b Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Tue, 7 Nov 2023 16:46:28 +0000 Subject: 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. --- bin/make_redirects | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'bin') 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 = "\n" -README_END = "\n" +HTML_MARKER_START = "\n" +HTML_MARKER_END = "\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)) -- cgit v1.2.3-54-g00ecf