diff options
Diffstat (limited to 'Master/install-tl.pl')
-rwxr-xr-x | Master/install-tl.pl | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Master/install-tl.pl b/Master/install-tl.pl index e3346f83310..86f8720f2b8 100755 --- a/Master/install-tl.pl +++ b/Master/install-tl.pl @@ -797,10 +797,6 @@ sub save_options_into_tlpdb { if ($vars{'option_src'}) { push @deps, "srcfiles"; } - push @deps, "TEXDIR/$vars{'TEXDIR'}"; - push @deps, "TEXMFSYSVAR/$vars{'TEXMFSYSVAR'}"; - push @deps, "TEXMFLOCAL/$vars{'TEXMFLOCAL'}"; - push @deps, "TEXMFHOME/$vars{'TEXMFHOME'}"; $tlp->depends(@deps); $localtlpdb->add_tlpobj($tlp); $localtlpdb->save(); |