summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2008-05-01 09:49:54 +0000
committerNorbert Preining <preining@logic.at>2008-05-01 09:49:54 +0000
commit069463624f706dd7058f2b0f266cf26f0115d507 (patch)
treed1be1ec5dd89ca07c8a4ca8075c314c4cc4b725e
parent20e8d98fb75d2ffc940ee5a53effe336030b6017 (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-xMaster/install-tl2
-rwxr-xr-xMaster/texmf/scripts/texlive/texconf.tlu11
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