diff options
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/tex/printing.w')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/tex/printing.w | 10 |
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(' '); |