diff options
author | Karl Berry <karl@freefriends.org> | 2017-04-19 23:07:31 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-04-19 23:07:31 +0000 |
commit | 1293e30d26681c2032b58f2f1b18f0a0d187b4ca (patch) | |
tree | f4aea6202b468897a107373f2c88df1f43fab634 /Master | |
parent | f74161ca4e7eb3c5af9afcbe92522ae3b58987c1 (diff) |
include texmf-dist/metafont/mflua.
git-svn-id: svn://tug.org/texlive/trunk@43932 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rw-r--r-- | Master/tlpkg/tlpsrc/mflua.tlpsrc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/mflua.tlpsrc b/Master/tlpkg/tlpsrc/mflua.tlpsrc index c039d77be01..dbb1081d154 100644 --- a/Master/tlpkg/tlpsrc/mflua.tlpsrc +++ b/Master/tlpkg/tlpsrc/mflua.tlpsrc @@ -10,6 +10,7 @@ execute AddFormat name=mflua engine=mflua-nowin options="mf.ini" \ # references.) runpattern d texmf-dist/scripts/mflua +runpattern d texmf-dist/metafont/mflua binpattern f bin/${ARCH}/mflua binpattern f bin/${ARCH}/mflua-nowin |