diff options
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/tex/mainbody.w')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/tex/mainbody.w | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/luatexdir/tex/mainbody.w b/Build/source/texk/web2c/luatexdir/tex/mainbody.w index 56191cbe25e..a98bd74a9e0 100644 --- a/Build/source/texk/web2c/luatexdir/tex/mainbody.w +++ b/Build/source/texk/web2c/luatexdir/tex/mainbody.w @@ -446,8 +446,8 @@ void main_body(void) else buffer[ilimit] = (packed_ASCII_code) int_par(end_line_char_code); fix_date_and_time(); - if (ini_version) - make_pdftex_banner(); + /*if (ini_version)*/ + /* make_pdftex_banner();*/ random_seed = (microseconds * 1000) + (epochseconds % 1000000); init_randoms(random_seed); initialize_math(); |