summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/luatexdir/tex/printing.w
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/tex/printing.w')
-rw-r--r--Build/source/texk/web2c/luatexdir/tex/printing.w10
1 files changed, 5 insertions, 5 deletions
diff --git a/Build/source/texk/web2c/luatexdir/tex/printing.w b/Build/source/texk/web2c/luatexdir/tex/printing.w
index fee354eebec..278b8a70e71 100644
--- a/Build/source/texk/web2c/luatexdir/tex/printing.w
+++ b/Build/source/texk/web2c/luatexdir/tex/printing.w
@@ -361,10 +361,10 @@ void print_banner(const char *v, int e, int ver)
callback_id = callback_defined(start_run_callback);
if (callback_id == 0) {
if (ver < 0)
- fprintf(term_out, "This is LuaTeX, Version %s-%d ", v, e);
+ fprintf(term_out, "This is LuaTeX, Version %s-%d%s ", v, e, WEB2CVERSION);
else
- fprintf(term_out, "This is LuaTeX, Version %s-%d (rev %d) ", v, e,
- ver);
+ fprintf(term_out, "This is LuaTeX, Version %s-%d%s (rev %d) ", v, e,
+ WEB2CVERSION, ver);
if (format_ident > 0)
slow_print(format_ident);
print_ln();
@@ -390,9 +390,9 @@ void log_banner(const char *v, int e, int ver)
if (month > 12)
month = 0;
if (ver < 0)
- fprintf(log_file, "This is LuaTeX, Version %s-%d ", v, e);
+ fprintf(log_file, "This is LuaTeX, Version %s-%d%s ", v, e, WEB2CVERSION);
else
- fprintf(log_file, "This is LuaTeX, Version %s-%d (rev %d) ", v, e, ver);
+ fprintf(log_file, "This is LuaTeX, Version %s-%d%s (rev %d) ", v, e, WEB2CVERSION, ver);
slow_print(format_ident);
print_char(' ');
print_char(' ');