summaryrefslogtreecommitdiff
path: root/Master/texmf/web2c
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf/web2c')
-rw-r--r--Master/texmf/web2c/texmf.cnf6
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/texmf/web2c/texmf.cnf b/Master/texmf/web2c/texmf.cnf
index 60ec6f46f1e..a106776b613 100644
--- a/Master/texmf/web2c/texmf.cnf
+++ b/Master/texmf/web2c/texmf.cnf
@@ -260,9 +260,9 @@ MPINPUTS = .;$TEXMF/metapost//
% and string pools (.pool) for ini{tex,mf,mp}. It is silly that we have six
% paths and directories here (they all resolve to a single place by default),
% but historically ...
-TEXFORMATS = .;$TEXMF/web2c/{$engine,}
-MFBASES = .;$TEXMF/web2c/{$engine,}
-MPMEMS = .;$TEXMF/web2c/{$engine,}
+TEXFORMATS = .;$TEXMF/web2c/{$engine,}//
+MFBASES = .;$TEXMF/web2c/{$engine,}//
+MPMEMS = .;$TEXMF/web2c/{$engine,}//
TEXPOOL = .;$TEXMF/web2c
MFPOOL = .;$TEXMF/web2c
MPPOOL = .;$TEXMF/web2c