diff options
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/pdftex.web')
| -rw-r--r-- | Build/source/texk/web2c/pdftexdir/pdftex.web | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/pdftex.web b/Build/source/texk/web2c/pdftexdir/pdftex.web index 47630498136..0c2faf3a7db 100644 --- a/Build/source/texk/web2c/pdftexdir/pdftex.web +++ b/Build/source/texk/web2c/pdftexdir/pdftex.web @@ -19376,6 +19376,7 @@ if pdf_pk_mode <> null then begin flush_string; end else kpse_init_prog('PDFTEX', fixed_pk_resolution, nil, nil); +kpse_set_program_enabled (kpse_pk_format, 1, kpse_src_compile); set_job_id(year, month, day, time); if (pdf_unique_resname > 0) and (pdf_resname_prefix = 0) then pdf_resname_prefix := get_resname_prefix |