diff options
| author | Hans Hagen <pragma@wxs.nl> | 2013-03-13 00:08:00 +0100 |
|---|---|---|
| committer | Hans Hagen <pragma@wxs.nl> | 2013-03-13 00:08:00 +0100 |
| commit | 1564c7a2753a36c58b7bec630309be771ca616c1 (patch) | |
| tree | eae599d8a78b30fa42439583db84d6b73e24f3c2 /tex/context/base/core-sys.lua | |
| parent | 0e99414568abe788b78a41305cc83e5a4c6b2714 (diff) | |
| download | context-1564c7a2753a36c58b7bec630309be771ca616c1.tar.gz | |
beta 2013.03.13 00:08
Diffstat (limited to 'tex/context/base/core-sys.lua')
| -rw-r--r-- | tex/context/base/core-sys.lua | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tex/context/base/core-sys.lua b/tex/context/base/core-sys.lua index e25c9b8f1..a790be19e 100644 --- a/tex/context/base/core-sys.lua +++ b/tex/context/base/core-sys.lua @@ -82,7 +82,7 @@ function environment.initializefilenames() -- commands.updatefilenames(jobname,f environment.filename = filename environment.suffix = suffix - report_files("jobname: %s, input: %s, result: %s",jobfilename,inputfilename,outputfilename) + report_files("jobname %a, input %a, result %a",jobfilename,inputfilename,outputfilename) function environment.initializefilenames() end end @@ -91,8 +91,8 @@ statistics.register("result saved in file", function() -- suffix will be fetched from backend local outputfilename = environment.outputfilename or environment.jobname or tex.jobname or "<unset>" if tex.pdfoutput > 0 then - return format( "%s.%s, compresslevel %s, objectcompreslevel %s",outputfilename,"pdf",tex.pdfcompresslevel, tex.pdfobjcompresslevel) + return format("%s.%s, compresslevel %s, objectcompreslevel %s",outputfilename,"pdf",tex.pdfcompresslevel, tex.pdfobjcompresslevel) else - return format( "%s.%s",outputfilename,"dvi") -- hard to imagine + return format("%s.%s",outputfilename,"dvi") -- hard to imagine end end) |