summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Build/tools/Tpm.pm3
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",