summaryrefslogtreecommitdiff
path: root/Master/tlpkg/dev/profiles
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-10-21 15:58:57 +0000
committerKarl Berry <karl@freefriends.org>2019-10-21 15:58:57 +0000
commit9474b7db3211261c19db160af542aa1a855659b6 (patch)
tree130d40a10be3c6e66ad76af9061642211200b8f5 /Master/tlpkg/dev/profiles
parent0c7d531503eed4ee9b9c697223277332f6e4b5d8 (diff)
doc
git-svn-id: svn://tug.org/texlive/trunk@52472 c570f23f-e606-0410-a88d-b1316a301751
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