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 | |
| 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
| -rwxr-xr-x | Master/install-tl | 2 | ||||
| -rwxr-xr-x | Master/texmf/scripts/texlive/texconf.tlu | 11 |
2 files changed, 10 insertions, 3 deletions
diff --git a/Master/install-tl b/Master/install-tl index e312a0223cb..bd316d001d1 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -906,7 +906,7 @@ sub do_postinst_stuff { # letter instead of a4 if ($vars{'option_letter'}) { tllog($::LOG_NORMAL, "Setting default paper size to letter\n"); - system("texlua", "$TEXDIR/texmf/scripts/texlive/texconf.tlu", "--sys", "paper", "letter"); + system("texlua", "$TEXDIR/texmf/scripts/texlive/texconf.tlu", "--sys", "--noformat", "paper", "letter"); } # all formats option 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 |