diff options
-rwxr-xr-x | Master/install-tl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Master/install-tl b/Master/install-tl index 665811c63b6..b7c37100e3d 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -2710,6 +2710,10 @@ Example: C<binary_x86_64-linux> =back +=item B<-profile-seed> I<profile> + +Like B<-profile>, but only seeds the installation configuration +before starting the interactive session. =item B<-q> |