diff options
-rwxr-xr-x | Master/install-tl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Master/install-tl b/Master/install-tl index 28651bad7e2..e81a6801cb7 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -578,6 +578,13 @@ if ($opt_profile eq "") { read_profile($opt_profile); } +my $varsdump; +foreach my $key (sort keys %vars) { + $varsdump.=" $key: \"" . $vars{$key} . "\"\n"; +} + +log("Settings:\n" . $varsdump); + if (!$finished) { # do the actual installation # win32: first, remove trailing slash from texdir[w] |