#!/usr/bin/env python3 import yaml, os, re, sys def update_file(fname, start_marker, end_marker, replacement): content = list(open(fname, 'r').readlines()) startline = content.index(start_marker) endline = content.index(end_marker) assert endline > startline content[startline+1:endline] = replacement with open(fname+".tmp", 'w') as f: f.write("".join(content)) os.rename(fname+".tmp", fname) BOOK_START = "# BEGIN AUTO-GENERATED REDIRECTS\n" BOOK_END = "# END AUTO-GENERATED REDIRECTS\n" README_START = "\n" README_END = "\n" def book_redirects(rs, spec_dir): lines = [] for kwd, info in rs.items(): if os.path.isdir(os.path.join(spec_dir, kwd)): source = kwd + "/index.html" else: source = kwd target = info['target'] lines.append( f'"/{source}" = "{target}"\n' ) return "".join(lines) def readme_redirects(rs): lines = [ "
/{kwd}
{target}
({desc})\n')
lines.append("