[tex-live] texinfo not happy with texlive not producing log?

[Karl Berry]

    ig> documentation for the various options in the profile?)

texlive-en.pdf describes the various installer menus and options, which
correspond to the lines in the profile.  --best, karl.