diff options
Diffstat (limited to 'Master/texmf/lists/knuthotherfonts')
-rw-r--r-- | Master/texmf/lists/knuthotherfonts | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Master/texmf/lists/knuthotherfonts b/Master/texmf/lists/knuthotherfonts new file mode 100644 index 00000000000..1f8e76abc51 --- /dev/null +++ b/Master/texmf/lists/knuthotherfonts @@ -0,0 +1,15 @@ + + +texmf-dist/fonts/source/public/knuthotherfonts/committee/font1.mf +texmf-dist/fonts/source/public/knuthotherfonts/committee/font1base.mf +texmf-dist/fonts/source/public/knuthotherfonts/halftone/aphalf.mf +texmf-dist/fonts/source/public/knuthotherfonts/halftone/ddhalf.mf +texmf-dist/fonts/source/public/knuthotherfonts/halftone/ddralf.mf +texmf-dist/fonts/source/public/knuthotherfonts/halftone/halftone.mf +texmf-dist/fonts/source/public/knuthotherfonts/halftone/imhalf.mf +texmf-dist/fonts/source/public/knuthotherfonts/halftone/imralf.mf +texmf-dist/fonts/source/public/knuthotherfonts/mfbook/logobase.mf +texmf-dist/fonts/source/public/knuthotherfonts/mfbook/metafon.mf +texmf-dist/tpm/knuthotherfonts.tpm + +texmf/lists/knuthotherfonts |