tools: rename convert tools to regular mk*
[sheet.git] / Makefile
index 23cdb70ab33bc2859d3ce4379be2657ffe326e87..8666e8235d21cfed2cdb35cc5db273faa4667f19 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -4,10 +4,10 @@ data/rfc1345.txt:
        wget http://www.ietf.org/rfc/rfc1345.txt -O $@
 
 digraphs.inc.pl: data/rfc1345.txt
-       ./rfc1345convert data/rfc1345.txt >$@
+       tools/mkdigraphlist data/rfc1345.txt >$@
 
 unicode-char.inc.pl: digraphs.inc.pl
-       tools/convert-unicode.pl >$@
+       tools/mkcharinfo >$@
 
 ttfsupport:
        mkdir ttfsupport