diff options
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/tex/commands.w')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/tex/commands.w | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/luatexdir/tex/commands.w b/Build/source/texk/web2c/luatexdir/tex/commands.w index 1ba433884b0..fe52171a438 100644 --- a/Build/source/texk/web2c/luatexdir/tex/commands.w +++ b/Build/source/texk/web2c/luatexdir/tex/commands.w @@ -448,7 +448,7 @@ void initialize_commands(void) primitive_tex("lastskip", last_item_cmd, lastskip_code, 0); primitive_tex("inputlineno", last_item_cmd, input_line_no_code, 0); primitive_tex("badness", last_item_cmd, badness_code, 0); - primitive_pdftex("pdftexversion", last_item_cmd, pdftex_version_code, 0); + primitive_pdftex("pdftexversion", last_item_cmd, luatex_version_code, 0); /*OBSOLETE */ primitive_luatex("luatexversion", last_item_cmd, luatex_version_code, 0); primitive_pdftex("pdflastobj", last_item_cmd, pdf_last_obj_code, 0); primitive_pdftex("pdflastxform", last_item_cmd, pdf_last_xform_code, 0); @@ -471,10 +471,11 @@ void initialize_commands(void) primitive_etex("eTeXVersion", convert_cmd, etex_code, 0); primitive_tex("fontname", convert_cmd, font_name_code, 0); primitive_luatex("fontid", convert_cmd, font_id_code, 0); - primitive_pdftex("pdftexrevision", convert_cmd, pdftex_revision_code, 0); + primitive_pdftex("pdftexrevision", convert_cmd, luatex_revision_code, 0); /*OBSOLETE*/ primitive_luatex("luatexrevision", convert_cmd, luatex_revision_code, 0); primitive_luatex("luatexdatestamp", convert_cmd, luatex_date_code, 0); - primitive_pdftex("pdftexbanner", convert_cmd, pdftex_banner_code, 0); + primitive_pdftex("pdftexbanner", convert_cmd, luatex_banner_code, 0); /*OBSOLETE*/ + primitive_pdftex("luatexbanner", convert_cmd, luatex_banner_code, 0); /*will replace pdftexbanner*/ primitive_pdftex("pdffontname", convert_cmd, pdf_font_name_code, 0); primitive_pdftex("pdffontobjnum", convert_cmd, pdf_font_objnum_code, 0); primitive_pdftex("pdffontsize", convert_cmd, pdf_font_size_code, 0); |