diff options
Diffstat (limited to 'Build/tools/etc')
-rw-r--r-- | Build/tools/etc/check-ctan2tl-output.pl | 21 | ||||
-rw-r--r-- | Build/tools/etc/do_check | 9 | ||||
-rw-r--r-- | Build/tools/etc/reindent-workingtpm.pl | 46 |
3 files changed, 0 insertions, 76 deletions
diff --git a/Build/tools/etc/check-ctan2tl-output.pl b/Build/tools/etc/check-ctan2tl-output.pl deleted file mode 100644 index 0311df9d8a6..00000000000 --- a/Build/tools/etc/check-ctan2tl-output.pl +++ /dev/null @@ -1,21 +0,0 @@ - -my $indata=0; -my $innewvspresent=0; -my $linesdiff=0; -my $opdiff=0; -while (<>) { - if (/^BEGIN COMPARE DATA$/) { $indata=1; next ; } - if (/^END COMPARE DATA$/) { $indata=0; next ; } - if (/can't find CTAN directory for /) { $opdiff = -10; last; } - if (!$indata) { next; } - if (/^ new vs\. present /) { $innewvspresent=1; next; } - if (/^CMP: [0-9]* common files, ~([0-9]*) lines different/) { - $innewvspresent=0; - $linesdiff = $1; - last; - } - $opdiff++; - #print if $indata; -} -print "files diff: $opdiff; linesdiff: $linesdiff\n"; - diff --git a/Build/tools/etc/do_check b/Build/tools/etc/do_check deleted file mode 100644 index 14603b124e5..00000000000 --- a/Build/tools/etc/do_check +++ /dev/null @@ -1,9 +0,0 @@ - -PATH=/src/TeX/texlive-svn/Build/tools:$PATH -export PATH - -for i in $(cat missing-tpms) ; do - bn=$(basename $i .tpm) - echo -n "TPM: $bn " - ctan2tl.new $bn 2>&1 | perl ./check-ctan2tl-output.pl -done diff --git a/Build/tools/etc/reindent-workingtpm.pl b/Build/tools/etc/reindent-workingtpm.pl deleted file mode 100644 index c7f2cedad45..00000000000 --- a/Build/tools/etc/reindent-workingtpm.pl +++ /dev/null @@ -1,46 +0,0 @@ - -my @WorkingTPM = qw( - enter the current list of working tpm from - tpm-ctan-check here before calling this script - then copy the output back to tpm-ctan-check - ); - - - -my @foo = sort {uc($a) cmp uc($b)} @WorkingTPM; - -print_foo(@foo); - - -sub firstletter { - my ($bar) = @_; - my @foo = split //, $bar; - return(uc($foo[0])); -} - -sub print_foo { - my(@foo) = @_; - my $newletter = 1; - my $curline = ""; - my $curletter = ""; - my $initshift = " "; - my $medshift = " "; - foreach $t (@foo) { - my $fl = firstletter($t); - if ($fl eq $curletter) { - if (length($curline) + 1 + length($t) >= 70) { - print "$curline\n"; - $curline = "$initshift$medshift$t"; - } else { - $curline .= " $t"; - } - } else { - print "$curline\n"; - $curline = "$initshift$t"; - $curletter = $fl; - } - } - print $curline; -} - - |