diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-01-12 20:34:47 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-12 20:34:47 -0800 |
commit | 6740322cc41a4f65c1dba81bb4dfe9b8621dc430 (patch) | |
tree | 4a5ebf607eca7e28b12476f9fdf4368580bb2409 | |
parent | cf32b93b72453c4b280fd0863c5c231054dfc263 (diff) |
Moved mkcasefold.pl to tools/.
-rw-r--r-- | Makefile | 2 | ||||
-rw-r--r-- | tools/mkcasefold.pl (renamed from mkcasefold.pl) | 0 |
2 files changed, 1 insertions, 1 deletions
@@ -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 |