summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/fonts/source
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2016-05-16 21:32:32 +0000
committerKarl Berry <karl@freefriends.org>2016-05-16 21:32:32 +0000
commite936c3afb71edd4441dc0b3de298084d6a24db4d (patch)
tree15aefd57597d8d771571cb5b75616245a3a39397 /Master/texmf-dist/fonts/source
parentaeadd0381460e150f184e3aae5b43d4adf3e4568 (diff)
ptex-fonts (16may16), and more general (u)ptex(-fonts) exclusions
git-svn-id: svn://tug.org/texlive/trunk@41207 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/fonts/source')
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/ascgrp/ascgrp.mf (renamed from Master/texmf-dist/fonts/source/ptex/ascgrp/ascgrp.mf)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/ascgrp/ascii.mf (renamed from Master/texmf-dist/fonts/source/ptex/ascgrp/ascii.mf)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/ascgrp/ascii10.mf (renamed from Master/texmf-dist/fonts/source/ptex/ascgrp/ascii10.mf)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/ascgrp/ascii36.mf (renamed from Master/texmf-dist/fonts/source/ptex/ascgrp/ascii36.mf)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/jis/jis-v.pl (renamed from Master/texmf-dist/fonts/source/ptex/jis/jis-v.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/jis/jis.pl (renamed from Master/texmf-dist/fonts/source/ptex/jis/jis.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/jis/jisn-v.pl (renamed from Master/texmf-dist/fonts/source/ptex/jis/jisn-v.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/jis/jisn.pl (renamed from Master/texmf-dist/fonts/source/ptex/jis/jisn.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/ngoth10.pl (renamed from Master/texmf-dist/fonts/source/ptex/nmin-ngoth/ngoth10.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/ngoth5.pl (renamed from Master/texmf-dist/fonts/source/ptex/nmin-ngoth/ngoth5.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/ngoth6.pl (renamed from Master/texmf-dist/fonts/source/ptex/nmin-ngoth/ngoth6.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/ngoth7.pl (renamed from Master/texmf-dist/fonts/source/ptex/nmin-ngoth/ngoth7.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/ngoth8.pl (renamed from Master/texmf-dist/fonts/source/ptex/nmin-ngoth/ngoth8.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/ngoth9.pl (renamed from Master/texmf-dist/fonts/source/ptex/nmin-ngoth/ngoth9.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/nmin10.pl (renamed from Master/texmf-dist/fonts/source/ptex/nmin-ngoth/nmin10.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/nmin5.pl (renamed from Master/texmf-dist/fonts/source/ptex/nmin-ngoth/nmin5.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/nmin6.pl (renamed from Master/texmf-dist/fonts/source/ptex/nmin-ngoth/nmin6.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/nmin7.pl (renamed from Master/texmf-dist/fonts/source/ptex/nmin-ngoth/nmin7.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/nmin8.pl (renamed from Master/texmf-dist/fonts/source/ptex/nmin-ngoth/nmin8.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/nmin9.pl (renamed from Master/texmf-dist/fonts/source/ptex/nmin-ngoth/nmin9.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/standard/goth10.pl (renamed from Master/texmf-dist/fonts/source/ptex/standard/goth10.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/standard/goth5.pl (renamed from Master/texmf-dist/fonts/source/ptex/standard/goth5.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/standard/goth6.pl (renamed from Master/texmf-dist/fonts/source/ptex/standard/goth6.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/standard/goth7.pl (renamed from Master/texmf-dist/fonts/source/ptex/standard/goth7.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/standard/goth8.pl (renamed from Master/texmf-dist/fonts/source/ptex/standard/goth8.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/standard/goth9.pl (renamed from Master/texmf-dist/fonts/source/ptex/standard/goth9.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/standard/min10.pl (renamed from Master/texmf-dist/fonts/source/ptex/standard/min10.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/standard/min5.pl (renamed from Master/texmf-dist/fonts/source/ptex/standard/min5.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/standard/min6.pl (renamed from Master/texmf-dist/fonts/source/ptex/standard/min6.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/standard/min7.pl (renamed from Master/texmf-dist/fonts/source/ptex/standard/min7.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/standard/min8.pl (renamed from Master/texmf-dist/fonts/source/ptex/standard/min8.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/standard/min9.pl (renamed from Master/texmf-dist/fonts/source/ptex/standard/min9.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/standard/tgoth10.pl (renamed from Master/texmf-dist/fonts/source/ptex/standard/tgoth10.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/standard/tgoth5.pl (renamed from Master/texmf-dist/fonts/source/ptex/standard/tgoth5.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/standard/tgoth6.pl (renamed from Master/texmf-dist/fonts/source/ptex/standard/tgoth6.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/standard/tgoth7.pl (renamed from Master/texmf-dist/fonts/source/ptex/standard/tgoth7.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/standard/tgoth8.pl (renamed from Master/texmf-dist/fonts/source/ptex/standard/tgoth8.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/standard/tgoth9.pl (renamed from Master/texmf-dist/fonts/source/ptex/standard/tgoth9.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/standard/tmin10.pl (renamed from Master/texmf-dist/fonts/source/ptex/standard/tmin10.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/standard/tmin5.pl (renamed from Master/texmf-dist/fonts/source/ptex/standard/tmin5.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/standard/tmin6.pl (renamed from Master/texmf-dist/fonts/source/ptex/standard/tmin6.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/standard/tmin7.pl (renamed from Master/texmf-dist/fonts/source/ptex/standard/tmin7.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/standard/tmin8.pl (renamed from Master/texmf-dist/fonts/source/ptex/standard/tmin8.pl)0
-rw-r--r--Master/texmf-dist/fonts/source/ptex-fonts/standard/tmin9.pl (renamed from Master/texmf-dist/fonts/source/ptex/standard/tmin9.pl)0
44 files changed, 0 insertions, 0 deletions
diff --git a/Master/texmf-dist/fonts/source/ptex/ascgrp/ascgrp.mf b/Master/texmf-dist/fonts/source/ptex-fonts/ascgrp/ascgrp.mf
index 77afb96441a..77afb96441a 100644
--- a/Master/texmf-dist/fonts/source/ptex/ascgrp/ascgrp.mf
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/ascgrp/ascgrp.mf
diff --git a/Master/texmf-dist/fonts/source/ptex/ascgrp/ascii.mf b/Master/texmf-dist/fonts/source/ptex-fonts/ascgrp/ascii.mf
index 20526cde8d2..20526cde8d2 100644
--- a/Master/texmf-dist/fonts/source/ptex/ascgrp/ascii.mf
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/ascgrp/ascii.mf
diff --git a/Master/texmf-dist/fonts/source/ptex/ascgrp/ascii10.mf b/Master/texmf-dist/fonts/source/ptex-fonts/ascgrp/ascii10.mf
index 0ec5a453348..0ec5a453348 100644
--- a/Master/texmf-dist/fonts/source/ptex/ascgrp/ascii10.mf
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/ascgrp/ascii10.mf
diff --git a/Master/texmf-dist/fonts/source/ptex/ascgrp/ascii36.mf b/Master/texmf-dist/fonts/source/ptex-fonts/ascgrp/ascii36.mf
index 06a19cb0122..06a19cb0122 100644
--- a/Master/texmf-dist/fonts/source/ptex/ascgrp/ascii36.mf
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/ascgrp/ascii36.mf
diff --git a/Master/texmf-dist/fonts/source/ptex/jis/jis-v.pl b/Master/texmf-dist/fonts/source/ptex-fonts/jis/jis-v.pl
index 979d44d45a4..979d44d45a4 100644
--- a/Master/texmf-dist/fonts/source/ptex/jis/jis-v.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/jis/jis-v.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/jis/jis.pl b/Master/texmf-dist/fonts/source/ptex-fonts/jis/jis.pl
index f4cd0ab78e9..f4cd0ab78e9 100644
--- a/Master/texmf-dist/fonts/source/ptex/jis/jis.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/jis/jis.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/jis/jisn-v.pl b/Master/texmf-dist/fonts/source/ptex-fonts/jis/jisn-v.pl
index 29116b462df..29116b462df 100644
--- a/Master/texmf-dist/fonts/source/ptex/jis/jisn-v.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/jis/jisn-v.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/jis/jisn.pl b/Master/texmf-dist/fonts/source/ptex-fonts/jis/jisn.pl
index 1ddc7610196..1ddc7610196 100644
--- a/Master/texmf-dist/fonts/source/ptex/jis/jisn.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/jis/jisn.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/nmin-ngoth/ngoth10.pl b/Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/ngoth10.pl
index b8d8dde6625..b8d8dde6625 100644
--- a/Master/texmf-dist/fonts/source/ptex/nmin-ngoth/ngoth10.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/ngoth10.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/nmin-ngoth/ngoth5.pl b/Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/ngoth5.pl
index 44af5fc7443..44af5fc7443 100644
--- a/Master/texmf-dist/fonts/source/ptex/nmin-ngoth/ngoth5.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/ngoth5.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/nmin-ngoth/ngoth6.pl b/Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/ngoth6.pl
index e15dfc79778..e15dfc79778 100644
--- a/Master/texmf-dist/fonts/source/ptex/nmin-ngoth/ngoth6.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/ngoth6.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/nmin-ngoth/ngoth7.pl b/Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/ngoth7.pl
index 53e7c126468..53e7c126468 100644
--- a/Master/texmf-dist/fonts/source/ptex/nmin-ngoth/ngoth7.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/ngoth7.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/nmin-ngoth/ngoth8.pl b/Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/ngoth8.pl
index 9a6d18f80ea..9a6d18f80ea 100644
--- a/Master/texmf-dist/fonts/source/ptex/nmin-ngoth/ngoth8.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/ngoth8.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/nmin-ngoth/ngoth9.pl b/Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/ngoth9.pl
index a79e5254f12..a79e5254f12 100644
--- a/Master/texmf-dist/fonts/source/ptex/nmin-ngoth/ngoth9.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/ngoth9.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/nmin-ngoth/nmin10.pl b/Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/nmin10.pl
index 2b3d36af9b4..2b3d36af9b4 100644
--- a/Master/texmf-dist/fonts/source/ptex/nmin-ngoth/nmin10.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/nmin10.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/nmin-ngoth/nmin5.pl b/Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/nmin5.pl
index bf94e68b655..bf94e68b655 100644
--- a/Master/texmf-dist/fonts/source/ptex/nmin-ngoth/nmin5.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/nmin5.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/nmin-ngoth/nmin6.pl b/Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/nmin6.pl
index 571f78c4eae..571f78c4eae 100644
--- a/Master/texmf-dist/fonts/source/ptex/nmin-ngoth/nmin6.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/nmin6.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/nmin-ngoth/nmin7.pl b/Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/nmin7.pl
index 48319a17181..48319a17181 100644
--- a/Master/texmf-dist/fonts/source/ptex/nmin-ngoth/nmin7.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/nmin7.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/nmin-ngoth/nmin8.pl b/Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/nmin8.pl
index aac5a522f3d..aac5a522f3d 100644
--- a/Master/texmf-dist/fonts/source/ptex/nmin-ngoth/nmin8.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/nmin8.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/nmin-ngoth/nmin9.pl b/Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/nmin9.pl
index 9dfb573f700..9dfb573f700 100644
--- a/Master/texmf-dist/fonts/source/ptex/nmin-ngoth/nmin9.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/nmin-ngoth/nmin9.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/standard/goth10.pl b/Master/texmf-dist/fonts/source/ptex-fonts/standard/goth10.pl
index 88307b4766a..88307b4766a 100644
--- a/Master/texmf-dist/fonts/source/ptex/standard/goth10.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/standard/goth10.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/standard/goth5.pl b/Master/texmf-dist/fonts/source/ptex-fonts/standard/goth5.pl
index c85144b1a83..c85144b1a83 100644
--- a/Master/texmf-dist/fonts/source/ptex/standard/goth5.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/standard/goth5.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/standard/goth6.pl b/Master/texmf-dist/fonts/source/ptex-fonts/standard/goth6.pl
index a74185672e9..a74185672e9 100644
--- a/Master/texmf-dist/fonts/source/ptex/standard/goth6.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/standard/goth6.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/standard/goth7.pl b/Master/texmf-dist/fonts/source/ptex-fonts/standard/goth7.pl
index 99e7548e27d..99e7548e27d 100644
--- a/Master/texmf-dist/fonts/source/ptex/standard/goth7.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/standard/goth7.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/standard/goth8.pl b/Master/texmf-dist/fonts/source/ptex-fonts/standard/goth8.pl
index 0860aa1f178..0860aa1f178 100644
--- a/Master/texmf-dist/fonts/source/ptex/standard/goth8.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/standard/goth8.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/standard/goth9.pl b/Master/texmf-dist/fonts/source/ptex-fonts/standard/goth9.pl
index c8b54dd4088..c8b54dd4088 100644
--- a/Master/texmf-dist/fonts/source/ptex/standard/goth9.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/standard/goth9.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/standard/min10.pl b/Master/texmf-dist/fonts/source/ptex-fonts/standard/min10.pl
index f7f27440d30..f7f27440d30 100644
--- a/Master/texmf-dist/fonts/source/ptex/standard/min10.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/standard/min10.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/standard/min5.pl b/Master/texmf-dist/fonts/source/ptex-fonts/standard/min5.pl
index 8c84728712c..8c84728712c 100644
--- a/Master/texmf-dist/fonts/source/ptex/standard/min5.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/standard/min5.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/standard/min6.pl b/Master/texmf-dist/fonts/source/ptex-fonts/standard/min6.pl
index 3d6dce3bcc0..3d6dce3bcc0 100644
--- a/Master/texmf-dist/fonts/source/ptex/standard/min6.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/standard/min6.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/standard/min7.pl b/Master/texmf-dist/fonts/source/ptex-fonts/standard/min7.pl
index f52c6eb946b..f52c6eb946b 100644
--- a/Master/texmf-dist/fonts/source/ptex/standard/min7.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/standard/min7.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/standard/min8.pl b/Master/texmf-dist/fonts/source/ptex-fonts/standard/min8.pl
index 9e9ab7409cf..9e9ab7409cf 100644
--- a/Master/texmf-dist/fonts/source/ptex/standard/min8.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/standard/min8.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/standard/min9.pl b/Master/texmf-dist/fonts/source/ptex-fonts/standard/min9.pl
index 490af816be5..490af816be5 100644
--- a/Master/texmf-dist/fonts/source/ptex/standard/min9.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/standard/min9.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/standard/tgoth10.pl b/Master/texmf-dist/fonts/source/ptex-fonts/standard/tgoth10.pl
index fdde06d6f8e..fdde06d6f8e 100644
--- a/Master/texmf-dist/fonts/source/ptex/standard/tgoth10.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/standard/tgoth10.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/standard/tgoth5.pl b/Master/texmf-dist/fonts/source/ptex-fonts/standard/tgoth5.pl
index 5bdea7ba9e6..5bdea7ba9e6 100644
--- a/Master/texmf-dist/fonts/source/ptex/standard/tgoth5.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/standard/tgoth5.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/standard/tgoth6.pl b/Master/texmf-dist/fonts/source/ptex-fonts/standard/tgoth6.pl
index d7a0b380370..d7a0b380370 100644
--- a/Master/texmf-dist/fonts/source/ptex/standard/tgoth6.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/standard/tgoth6.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/standard/tgoth7.pl b/Master/texmf-dist/fonts/source/ptex-fonts/standard/tgoth7.pl
index 6c806d4350a..6c806d4350a 100644
--- a/Master/texmf-dist/fonts/source/ptex/standard/tgoth7.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/standard/tgoth7.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/standard/tgoth8.pl b/Master/texmf-dist/fonts/source/ptex-fonts/standard/tgoth8.pl
index ecbad5d8a5f..ecbad5d8a5f 100644
--- a/Master/texmf-dist/fonts/source/ptex/standard/tgoth8.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/standard/tgoth8.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/standard/tgoth9.pl b/Master/texmf-dist/fonts/source/ptex-fonts/standard/tgoth9.pl
index 94079457f21..94079457f21 100644
--- a/Master/texmf-dist/fonts/source/ptex/standard/tgoth9.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/standard/tgoth9.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/standard/tmin10.pl b/Master/texmf-dist/fonts/source/ptex-fonts/standard/tmin10.pl
index 1230acef26a..1230acef26a 100644
--- a/Master/texmf-dist/fonts/source/ptex/standard/tmin10.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/standard/tmin10.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/standard/tmin5.pl b/Master/texmf-dist/fonts/source/ptex-fonts/standard/tmin5.pl
index d9da6b5f319..d9da6b5f319 100644
--- a/Master/texmf-dist/fonts/source/ptex/standard/tmin5.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/standard/tmin5.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/standard/tmin6.pl b/Master/texmf-dist/fonts/source/ptex-fonts/standard/tmin6.pl
index b5902121f6a..b5902121f6a 100644
--- a/Master/texmf-dist/fonts/source/ptex/standard/tmin6.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/standard/tmin6.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/standard/tmin7.pl b/Master/texmf-dist/fonts/source/ptex-fonts/standard/tmin7.pl
index 7c40d7dda07..7c40d7dda07 100644
--- a/Master/texmf-dist/fonts/source/ptex/standard/tmin7.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/standard/tmin7.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/standard/tmin8.pl b/Master/texmf-dist/fonts/source/ptex-fonts/standard/tmin8.pl
index ed5d31c4f3e..ed5d31c4f3e 100644
--- a/Master/texmf-dist/fonts/source/ptex/standard/tmin8.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/standard/tmin8.pl
diff --git a/Master/texmf-dist/fonts/source/ptex/standard/tmin9.pl b/Master/texmf-dist/fonts/source/ptex-fonts/standard/tmin9.pl
index 018d2aa9cf7..018d2aa9cf7 100644
--- a/Master/texmf-dist/fonts/source/ptex/standard/tmin9.pl
+++ b/Master/texmf-dist/fonts/source/ptex-fonts/standard/tmin9.pl