diff options
author | Norbert Preining <preining@logic.at> | 2008-05-01 09:49:54 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2008-05-01 09:49:54 +0000 |
commit | 069463624f706dd7058f2b0f266cf26f0115d507 (patch) | |
tree | d1be1ec5dd89ca07c8a4ca8075c314c4cc4b725e /Master/texmf | |
parent | 20e8d98fb75d2ffc940ee5a53effe336030b6017 (diff) |
support --noformat in texconf, and do not create formats via texconf
when format pregeneration is not selected in the installer
git-svn-id: svn://tug.org/texlive/trunk@7767 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf')
-rwxr-xr-x | Master/texmf/scripts/texlive/texconf.tlu | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/Master/texmf/scripts/texlive/texconf.tlu b/Master/texmf/scripts/texlive/texconf.tlu index 4f4137ae634..aca78efa492 100755 --- a/Master/texmf/scripts/texlive/texconf.tlu +++ b/Master/texmf/scripts/texlive/texconf.tlu @@ -21,8 +21,8 @@ usageprogname = basename domktexlsr = false doformat = false - sys=false +noformatopt = false if string.find(basename, '-sys$') then basename=select(1, string.gsub(basename, '-sys$', '')) @@ -43,13 +43,16 @@ require("texlive.getopt") require("texlive.utils") -- do argument processing -options = getopt ( { sys = 0, prog = 1 } ) +options = getopt ( { sys = 0, prog = 1, noformat = 0 } ) if (options["sys"]) then sys = true end if (options["prog"]) then usageprogname = options["prog"] end +if (options["noformat"]) then + noformatopt = true +end if (sys) then @@ -567,6 +570,10 @@ if sys and domktexlsr then os.spawn(command) end +if noformat then + doformat = false +end + if doformat then -- we have to update the formats -- I don't know how to select only those formats for which pdftexconfig.tex |