summaryrefslogtreecommitdiff
path: root/Master/texmf/lists/bin-metafont
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf/lists/bin-metafont')
-rw-r--r--Master/texmf/lists/bin-metafont11
1 files changed, 11 insertions, 0 deletions
diff --git a/Master/texmf/lists/bin-metafont b/Master/texmf/lists/bin-metafont
new file mode 100644
index 00000000000..b91270b8878
--- /dev/null
+++ b/Master/texmf/lists/bin-metafont
@@ -0,0 +1,11 @@
++bin-kpathsea
++lib-texmfmp
+texmf/doc/man/man1/mf-nowin.1
+texmf/doc/man/man1/mf.1
+
+texmf/fmtutil/format.metafont.cnf
+texmf/tpm/bin-metafont.tpm
+texmf/web2c/mf.pool
+!BuildFormat metafont
+
+texmf/lists/bin-metafont