diff options
author | Karl Berry <karl@freefriends.org> | 2020-01-31 23:07:27 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-01-31 23:07:27 +0000 |
commit | 73748655e1a381266ee4d9d7ee95785ba0f0235e (patch) | |
tree | 84003b855b4614b0828fe689c1fedc03e158a08e /Master/tlpkg/tlpsrc/mpfonts.tlpsrc | |
parent | 527bf264c6238978f19cb55441245c6c68aa4ee5 (diff) |
mpfonts (and creation of fonts/type3), 31jan20
git-svn-id: svn://tug.org/texlive/trunk@53619 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/mpfonts.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/mpfonts.tlpsrc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/mpfonts.tlpsrc b/Master/tlpkg/tlpsrc/mpfonts.tlpsrc new file mode 100644 index 00000000000..26803e1d867 --- /dev/null +++ b/Master/tlpkg/tlpsrc/mpfonts.tlpsrc @@ -0,0 +1,2 @@ +# mpfonts.map is and must not be enabled, because it (intentionally) has +# many conflicts with the standard psfonts.map. |