diff options
Diffstat (limited to 'Build/tools/etc/reindent-workingtpm.pl')
-rw-r--r-- | Build/tools/etc/reindent-workingtpm.pl | 46 |
1 files changed, 0 insertions, 46 deletions
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; -} - - |