diff options
| -rwxr-xr-x | Master/tlpkg/bin/place | 10 | ||||
| -rw-r--r-- | TODO | 3 |
2 files changed, 9 insertions, 4 deletions
diff --git a/Master/tlpkg/bin/place b/Master/tlpkg/bin/place index 970ec0250c3..08fdd9b28a2 100755 --- a/Master/tlpkg/bin/place +++ b/Master/tlpkg/bin/place @@ -139,9 +139,13 @@ if (!defined($tlpold)) { #`rm -f $TMP/tlplace.new $TMP/tlplace.old $TMP/tlplace.diff`; } - &xchdir ("$cooked/$package"); -find (\&files,"."); + +print "place: checking for case-insensitive clashes\n"; +print `find . '(' -name .svn ')' -prune -o -print | sort | uniq -i -d`; +print "\n"; + +find (\&files, "."); foreach $file (sort keys %Old) { my $status = $New{$file} ? "retained" : "removed"; print "* $file\t[$status]\n"; @@ -170,7 +174,7 @@ foreach $file (sort keys %New) { } } -xchdir ($cooked); +&xchdir ($cooked); &my_system ("mv $package $package.done"); @@ -90,7 +90,8 @@ mathspic # inside pictex later mx NEW 08-01-26 a mexican dialect of spanish plnfss # only a zip file on CTAN psv # ps previewer, install through ctan2tl using /scripts/ ? -r_und_s - plain files should be in tex/plain, but does it matter? +r_und_s plain files should be in tex/plain, but does it matter? +thailatex has some nonfree fonts 1e. tlpsrc2tlpdb conversion |