diff options
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-x | Master/tlpkg/libexec/ctan2tds | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds index 7edfad1ba3b..8e6349a1993 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -3202,7 +3202,7 @@ sub runins { for (grep (/$thispatt/, @filenames)) { my $env_mktex = "env MKTEXTFM=0 MKTEXMF=0 MKTEXPK=0"; # do not infinite loop on docstrip "output directory", e.g., fltpoint. - &runjob ("yes | sed 10q | $env_mktex $insrunner $_"); + &runjob ("yes | sed 1000q | $env_mktex $insrunner $_"); # bbold.dtx generates bbold.ins, and then does "low level hacks" to # run the .ins itself. We don't want to do anything. |