[tex-live] problem with texdoc

[Norbert Preining]

Hi Pablo, hi Takuto,

On Mon, 12 Nov 2018, Pablo Alfonso González Luengo wrote:
> ok I understand the behavior, but, the list that you select should be
> constant and only the chosen file should be random. 

I guess that comes from texdoc selecting a package from the list at
random, and then presents the documentation files for that package.

That means although the list of packages considered is constant, the
list of documents shown then change due to the nondeterminstic selection
of one package.

My ideas are:
- offer the list of package names and let the user select, then show the
  doc files
- show doc files of all packages in the list

Not sure which is easier/better to do.

Best

Norbert

--
PREINING Norbert                               http://www.preining.info
Accelia Inc.     +    JAIST     +    TeX Live     +    Debian Developer
GPG: 0x860CDC13   fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13