summaryrefslogtreecommitdiff
path: root/Master/tlpkg/dev/profiles
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/dev/profiles')
-rw-r--r--Master/tlpkg/dev/profiles/TLsmall.pro2
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/dev/profiles/TLsmall.pro b/Master/tlpkg/dev/profiles/TLsmall.pro
index 8c5dac2bd14..e74f67ad785 100644
--- a/Master/tlpkg/dev/profiles/TLsmall.pro
+++ b/Master/tlpkg/dev/profiles/TLsmall.pro
@@ -8,7 +8,7 @@ TEXMFSYSVAR /tmp/ki/sys/var
TEXMFCONFIG /tmp/ki/user/config
TEXMFVAR /tmp/ki/user/var
option_doc 0
-option_fmt 1
+option_fmt 0
option_letter 0
option_src 0
option_symlinks 0