diff options
| author | Norbert Preining <preining@logic.at> | 2008-08-21 18:19:44 +0000 |
|---|---|---|
| committer | Norbert Preining <preining@logic.at> | 2008-08-21 18:19:44 +0000 |
| commit | a652a5d195e96a250c93f1336168216be6a1cca6 (patch) | |
| tree | f57c5685041e01436bbd1c260965236648f3581c /Master/tlpkg/etc | |
| parent | 07c9d41be5a40484e80b962ce1de39aa1afa8b17 (diff) | |
another patch that could be included
git-svn-id: svn://tug.org/texlive/trunk@10394 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/etc')
| -rw-r--r-- | Master/tlpkg/etc/texconf.tlu.diff-for-using-tlpdb.tlu.patch | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/Master/tlpkg/etc/texconf.tlu.diff-for-using-tlpdb.tlu.patch b/Master/tlpkg/etc/texconf.tlu.diff-for-using-tlpdb.tlu.patch new file mode 100644 index 00000000000..0e294295bf6 --- /dev/null +++ b/Master/tlpkg/etc/texconf.tlu.diff-for-using-tlpdb.tlu.patch @@ -0,0 +1,42 @@ +Index: texconf.tlu +=================================================================== +--- texconf.tlu (revision 9807) ++++ texconf.tlu (working copy) +@@ -41,7 +41,11 @@ + package.path = texmfmain.."/scripts/texlive/lua/?.tlu" + require("texlive.getopt") + require("texlive.utils") ++require("texlive.tlpdb") + ++-- set up master dir ++master=kpse.var_value('SELFAUTOPARENT') ++ + -- do argument processing + options = getopt ( { sys = 0, prog = 1, noformat = 0 } ) + if (options["sys"]) then +@@ -489,6 +493,17 @@ + + function set_context_papersize(papersize) + local current_setting ++ ++ if not(tlpdb) then ++ io.stderr:write('reading tlpdb .. ') ++ tlpdb = read_tlpdb(master) ++ io.stderr:write('finished\n') ++ end ++ if not(tlpdb['bin-context']) then ++ io.stderr:write('bin-context not installed, skipping paper setting for it\n') ++ return ++ end ++ + -- Read the file. + local filename + +@@ -564,6 +579,7 @@ + set_dvips_papersize(papersize) + set_pdftex_papersize(papersize) + set_xdvi_papersize(papersize) ++ set_context_papersize(papersize) + set_dvipdfm_papersize(papersize, 'dvipdfm') + set_dvipdfm_papersize(papersize, 'dvipdfmx') + end |