diff options
Diffstat (limited to 'Build/source/texk/web2c/web2c/convert')
-rwxr-xr-x | Build/source/texk/web2c/web2c/convert | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/web2c/convert b/Build/source/texk/web2c/web2c/convert index 05b85430072..32b7bd78b6a 100755 --- a/Build/source/texk/web2c/web2c/convert +++ b/Build/source/texk/web2c/web2c/convert @@ -40,7 +40,9 @@ web2c_options=-c$basefile precmd= midcmd= fixwrites_options= -splitup_options="-i -l 10000" +splitup_options="-i -l 11500" +# was 10000, but that caused pdfetex4.c to appear. With 11500, the number of +# files for pdf{e}tex is unchanged. postcmd= output="> $cfile" output_files="$cfile $basefile.h" |