Moved mkcasefold.pl to tools/.

1 files changed, 0 insertions, 22 deletions

diff --git a/mkcasefold.pl b/mkcasefold.pl
deleted file mode 100644
index 740ce77..0000000
--- a/mkcasefold.pl
+++ /dev/null
@@ -1,22 +0,0 @@
-binmode STDOUT;
-print("    switch (c) {\n");
-my $lastchar = "";
-while (<STDIN>) {
-  if (/^[A-F0-9]/ and / [CF]; /) {
-    my ($char, $type, $subst) = m/([A-F0-9]+); ([CF]); ([^;]+)/;
-    if ($char eq $lastchar) {
-      break;
-    }
-    my @subst = $subst =~ m/(\w+)/g;
-    printf("      case 0x%s:\n", $char);
-    foreach (@subst) {
-      printf("        bufpush(0x%s);\n", $_);
-    }
-    printf("        break;\n");
-    $lastchar = $char;
-  }
-}
-printf("      default:\n");
-printf("        bufpush(c);\n");
-print("    }\n");
-