summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-01-12 20:34:47 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2015-01-12 20:34:47 -0800
commit6740322cc41a4f65c1dba81bb4dfe9b8621dc430 (patch)
tree4a5ebf607eca7e28b12476f9fdf4368580bb2409
parentcf32b93b72453c4b280fd0863c5c231054dfc263 (diff)
Moved mkcasefold.pl to tools/.
-rw-r--r--Makefile2
-rw-r--r--tools/mkcasefold.pl (renamed from mkcasefold.pl)0
2 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 88f72ed..7004169 100644
--- a/Makefile
+++ b/Makefile
@@ -71,7 +71,7 @@ $(SRCDIR)/html_unescape.h: $(SRCDIR)/html_unescape.gperf
# We include case_fold_switch.inc in the repository, so this shouldn't
# normally need to be generated.
$(SRCDIR)/case_fold_switch.inc: $(DATADIR)/CaseFolding-3.2.0.txt
- perl mkcasefold.pl < $< > $@
+ perl tools/mkcasefold.pl < $< > $@
# We include scanners.c in the repository, so this shouldn't
# normally need to be generated.
diff --git a/mkcasefold.pl b/tools/mkcasefold.pl
index 740ce77..740ce77 100644
--- a/mkcasefold.pl
+++ b/tools/mkcasefold.pl