diff options
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 |