diff options
author | Marius <mariausol@gmail.com> | 2013-01-09 13:40:16 +0200 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2013-01-09 13:40:16 +0200 |
commit | 0f948daabca9dcfb92d6325b9a7a5edba22c5abb (patch) | |
tree | a70b7921c3d494edcfee002d3a7984327c5319ae /tex/context/base/file-job.lua | |
parent | 4fc90550eb4fa4fea7a1721f800fcefb4081e24a (diff) | |
download | context-0f948daabca9dcfb92d6325b9a7a5edba22c5abb.tar.gz |
beta 2013.01.09 10:51
Diffstat (limited to 'tex/context/base/file-job.lua')
-rw-r--r-- | tex/context/base/file-job.lua | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tex/context/base/file-job.lua b/tex/context/base/file-job.lua index f05be5708..572697443 100644 --- a/tex/context/base/file-job.lua +++ b/tex/context/base/file-job.lua @@ -911,3 +911,11 @@ function commands.logoptions() end write_nl("log","%\n% end of command line files\n\n") end + +function commands.doifelsecontinuewithfile(inpname) + local continue = addsuffix(inpname,"tex") == addsuffix(environment.jobname,"tex") + if continue then + report_system("continuing input file %q",inpname) + end + commands.doifelse(continue) +end |