diff options
Diffstat (limited to 'Build/tools/Tpm.pm')
-rw-r--r-- | Build/tools/Tpm.pm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Build/tools/Tpm.pm b/Build/tools/Tpm.pm index e4175960ff8..5db51622315 100644 --- a/Build/tools/Tpm.pm +++ b/Build/tools/Tpm.pm @@ -144,7 +144,7 @@ my @vendors = ( "hoekwater", "ibm", "itc", "jknappen", "jmn", "korean", "lh", "mathdesign", "misc", "monotype", "paragrap", "public", "uhc", "urw", "urw35vf", "vntex", "wadalab", - "yandy"); + "xetex", "yandy"); my @fontmodes = ( "ljfour", "ljfive", "cx" ); @@ -1371,6 +1371,9 @@ sub buildPatternsPackage { push @run_patterns, $texmf . "/tex/$_/${name}/*"; } @formats; + # for xetex + push @run_patterns, "$texmf/fonts/misc/$name/*"; + push @doc_patterns, ( $texmf . "/doc/${name}/base/*" ); push @source_patterns, ( $texmf . "/source/${name}/base/*" ); |