…
..
MakeCharTables.java	…
MakeDefaultMimeTypes.java	…
TexinfoDoclet.java	…
classes.pl	…
encodings.pl	…
mime.types	…
showval.java	…
unicode-blocks.pl	…
unicode-decomp.pl	…
unicode-muncher.pl	…