diff options
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/pdftex.web')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/pdftex.web | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/pdftex.web b/Build/source/texk/web2c/pdftexdir/pdftex.web index 995e7a7ff97..b3089f04d9a 100644 --- a/Build/source/texk/web2c/pdftexdir/pdftex.web +++ b/Build/source/texk/web2c/pdftexdir/pdftex.web @@ -16373,7 +16373,7 @@ so we can use this field for both} @!pdf_stream_length: longinteger; {length of most recently generated stream} @!pdf_stream_length_offset: longinteger; {file offset of the last stream length} @!pdf_seek_write_length: boolean; {flag whether to seek back and write \.{/Length}} -@!pdf_last_byte: integer; {byte most recently written to PDF file; for \.{endstream} in new line} +@!pdf_last_byte: eight_bits; {byte most recently written to PDF file; for \.{endstream} in new line} @!pdf_append_list_arg: integer; {for use with |pdf_append_list|} @!ff: integer; {for use with |set_ff|} @!pdf_box_spec_media: integer; |