diff options
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 |