Move all binaries to a "bin" directory.

1 files changed, 0 insertions, 58 deletions

diff --git a/mdbook/spec/make_redirects.py b/mdbook/spec/make_redirects.py
deleted file mode 100755
index c582505..0000000
--- a/mdbook/spec/make_redirects.py
+++ /dev/null
@@ -1,58 +0,0 @@
-#!/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 = "<!-- BEGIN AUTO-GENERATED REDIRECTS -->\n"
-README_END = "<!-- END AUTO-GENERATED REDIRECTS -->\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 = [ "<dl>\n" ]
-    for kwd, info in rs.items():
-        target = info['target']
-        desc = info['description']
-        lines.append(f'<dt><a href="/{kwd}"><code>/{kwd}</code></a></dt>\n')
-        lines.append(f'<dd><a href="{target}"><code>{target}</code> ({desc})</a></dt>\n')
-
-    lines.append("</dl>\n")
-    return "".join(lines)
-
-if __name__ == '__main__':
-    toplevel = os.path.join(os.path.dirname(sys.argv[0]), "..", "..")
-    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")
-    yaml_fname = os.path.join(toplevel, "mdbook", "spec", "spec-redirects.yaml")
-
-    rs = yaml.load(open(yaml_fname), yaml.Loader)['redirects']
-
-    update_file(book_fname, BOOK_START, BOOK_END, book_redirects(rs, spec_dir))
-    update_file(readme_fname, README_START, README_END, readme_redirects(rs))
-
-