tools: rename convert tools to regular mk*
[sheet.git] / tools / mkdigraphlist
similarity index 96%
rename from rfc1345convert
rename to tools/mkdigraphlist
index 33b6ee9fb365bc291522f217309afc4dc2b6fb4e..fa67418a0aaf05c74433754934184f7e33387cfd 100755 (executable)
@@ -169,17 +169,17 @@ __END__
 
 =head1 NAME
 
 
 =head1 NAME
 
-rfc1345convert - Output digraph data from RFC-1345
+mkdigraphlist - Output digraph data from RFC-1345
 
 =head1 SYNOPSIS
 
 Extract digraphs from text specifications as a perl hash:
 
 
 =head1 SYNOPSIS
 
 Extract digraphs from text specifications as a perl hash:
 
-    rfc1345convert rfc1345.txt custom.txt > digraphs.inc.pl
+    mkdigraphlist rfc1345.txt custom.txt > digraphs.inc.pl
 
 Input can be the literal RFC (or similar) document:
 
 
 Input can be the literal RFC (or similar) document:
 
-    curl http://www.ietf.org/rfc/rfc1345.txt | rfc1345convert -
+    curl http://www.ietf.org/rfc/rfc1345.txt | mkdigraphlist -
 
 Test by printing the character for DO (should be a dollar sign):
 
 
 Test by printing the character for DO (should be a dollar sign):