diff options
-rw-r--r-- | Master/tlpkg/tlpsrc/bin-context.tlpsrc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/bin-context.tlpsrc b/Master/tlpkg/tlpsrc/bin-context.tlpsrc index 27fc2d62a6d..5efe4ab4255 100644 --- a/Master/tlpkg/tlpsrc/bin-context.tlpsrc +++ b/Master/tlpkg/tlpsrc/bin-context.tlpsrc @@ -24,6 +24,7 @@ binpattern f bin/${ARCH}/ctxtools binpattern f bin/${ARCH}/exatools binpattern f bin/${ARCH}/luatools binpattern f bin/${ARCH}/makempy +binpattern f bin/${ARCH}/metafun binpattern f bin/${ARCH}/mpstools binpattern f bin/${ARCH}/mptopdf binpattern f bin/${ARCH}/mtxtools |