diff options
author | Hans Hagen <pragma@wxs.nl> | 2008-08-05 18:47:00 +0200 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2008-08-05 18:47:00 +0200 |
commit | 560319dff7b42057a116447a8043b59d56d21cd8 (patch) | |
tree | 349c0c9cac96231c570722909d5584a24d0715f0 /scripts/context/lua/mtx-update.lua | |
parent | f8ba0550d77fd6e2b307ff9dd3175fc0c613b8e2 (diff) | |
download | context-560319dff7b42057a116447a8043b59d56d21cd8.tar.gz |
stable 2008.08.05 18:47
Diffstat (limited to 'scripts/context/lua/mtx-update.lua')
-rw-r--r-- | scripts/context/lua/mtx-update.lua | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/scripts/context/lua/mtx-update.lua b/scripts/context/lua/mtx-update.lua index d8a838fec..d63a9650b 100644 --- a/scripts/context/lua/mtx-update.lua +++ b/scripts/context/lua/mtx-update.lua @@ -19,7 +19,7 @@ minimals.config = minimals.config or { } os.setenv("CYGWIN","nontsec") -scripts.update.formats = { +scripts.update.allformats = { "cont-en", "cont-nl", "cont-cz", @@ -33,6 +33,14 @@ scripts.update.formats = { "plain" } +scripts.update.fewformats = { + "cont-en", + "cont-nl", + "metafun", + "mptopdf", + "plain" +} + scripts.update.repositories = { "current", "experimental" @@ -343,7 +351,7 @@ if scripts.savestate then if valid[r] then states.set("platforms." .. r, true) end end - local valid = table.tohash(scripts.update.formats) + local valid = table.tohash(scripts.update.allformats) for r in string.gmatch(environment.argument("formats") or "","([^, ]+)") do if valid[r] then states.set("formats." .. r, true) end end |