diff options
Diffstat (limited to 'Build/tools/Tpm.pm')
| -rw-r--r-- | Build/tools/Tpm.pm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/tools/Tpm.pm b/Build/tools/Tpm.pm index b02d19183b5..9cd38e50567 100644 --- a/Build/tools/Tpm.pm +++ b/Build/tools/Tpm.pm @@ -125,7 +125,8 @@ my @formats = ( "eplain", "fontinst", "generic", "jadetex", "lambda", "latex", "latex3", "mex", "physe", "phyzzx", "plain", "psizzl", - "startex", "texinfo", "texsis", "xetex", "xmltex", "ytex", ); + "startex", "texinfo", "texsis", "xetex", "xelatex", + "xmltex", "ytex", ); # Kind of font files my @fonttypes = ( "afm", "misc", "ofm", "opentype", "ovf", "ovp", "pfb", |