diff options
author | Karl Berry <karl@freefriends.org> | 2019-10-21 15:58:57 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-10-21 15:58:57 +0000 |
commit | 9474b7db3211261c19db160af542aa1a855659b6 (patch) | |
tree | 130d40a10be3c6e66ad76af9061642211200b8f5 /Master/tlpkg/dev | |
parent | 0c7d531503eed4ee9b9c697223277332f6e4b5d8 (diff) |
doc
git-svn-id: svn://tug.org/texlive/trunk@52472 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/dev')
-rw-r--r-- | Master/tlpkg/dev/profiles/TLsmall.pro | 2 |
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 |