summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/web2c/convert
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/web2c/convert')
-rwxr-xr-xBuild/source/texk/web2c/web2c/convert4
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"