From 6740322cc41a4f65c1dba81bb4dfe9b8621dc430 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Mon, 12 Jan 2015 20:34:47 -0800
Subject: Moved mkcasefold.pl to tools/.

---
 mkcasefold.pl | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100644 mkcasefold.pl

(limited to 'mkcasefold.pl')

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");
-
-- 
cgit v1.2.3