diff options
-rwxr-xr-x | Master/tlpkg/bin/tlprm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tlprm b/Master/tlpkg/bin/tlprm index 0c2663a6d02..0e8af8c946c 100755 --- a/Master/tlpkg/bin/tlprm +++ b/Master/tlpkg/bin/tlprm @@ -50,7 +50,10 @@ sub main } my @files = $obj->all_files; - if ($tlp->relocated) { for (@files) { s:^$RelocPrefix/:$RelocTree/:; } } + if ($obj->relocated) { + s,^$RelocPrefix/,$RelocTree/, foreach @files; + } + my $tlpsrc = new TeXLive::TLPSRC; $tlpsrc->from_file ($f); push (@files, $tlpsrc->_srcfile); # also want to remove the tlpsrc file. |