diff options
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/tex/printing.w')
| -rw-r--r-- | Build/source/texk/web2c/luatexdir/tex/printing.w | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/luatexdir/tex/printing.w b/Build/source/texk/web2c/luatexdir/tex/printing.w index 09362a13671..c2e9cb9a92f 100644 --- a/Build/source/texk/web2c/luatexdir/tex/printing.w +++ b/Build/source/texk/web2c/luatexdir/tex/printing.w @@ -1,6 +1,6 @@ % printing.w -% Copyright 2009-2010 Taco Hoekwater <taco@@luatex.org> +% Copyright 2009-2012 Taco Hoekwater <taco@@luatex.org> % This file is part of LuaTeX. @@ -360,7 +360,7 @@ void print_banner(const char *v, int e, int ver) int callback_id; callback_id = callback_defined(start_run_callback); if (callback_id == 0) { - fprintf(term_out, "This is LuaTeX, Version %s-%d (TeX Live 2012)", v, e); + fprintf(term_out, "This is LuaTeX, Version %s-%d" WEB2CVERSION, v, e); if (format_ident > 0) slow_print(format_ident); print_ln(); @@ -385,7 +385,7 @@ void log_banner(const char *v, int e, int ver) unsigned month = (unsigned) int_par(month_code); if (month > 12) month = 0; - fprintf(log_file, "This is LuaTeX, Version %s-%d (TeX Live 2012)", v, e); + fprintf(log_file, "This is LuaTeX, Version %s-%d" WEB2CVERSION, v, e); slow_print(format_ident); print_char(' '); print_char(' '); |