[tex-live] TEXDOCVIEW_pdf ???

Manuel Pégourié-Gonnard mpg at elzevir.fr
Mon Aug 4 19:36:08 CEST 2008


Heiko Oberdiek scripsit (04.08.2008 17:03)
> My older texdoc (unknown version, <= 2004) uses TEXMFDOCVIEW_pdf.
> 
Yep, it's the shell script version I'm still using at university, too.

> It's quite irritating if every texdoc version uses another
> environment variables.

Agreed. It's not event released and already many users complained. I was
bitten by it myself when changing from the shell version to Frank's texlua
version.

>   viewer_pdf = os.getenv("TEXDOCVIEW_pdf");
>   if viewer_pdf == nil then viewer_pdf = os.getenv("PDFVIEWER");
> 
In r10073:

        viewer_pdf  = os.getenv ("PDFVIEWER")
        or os.getenv ("TEXDOCVIEW_pdf") or os.getenv ("TEXDOC_VIEWER_PDF"),

and so on. I preferred giving precedence to the new names.

> (Or something more elaborate, supporting variable settings in texmf.cnf).
> 
The more elaborate thing is the set_config_list which eats the above list, and
takes care of merging it with what comes from the config files (envvar have
precedence). You can set the viewers in texdoc.cnf, not in texmf.cnf, since I
think it's not a very good place for user's personal settings.

Manuel.



More information about the tex-live mailing list