Bug#449229: tex-common: texdoc finds html pages from catalogue first

[Ralf Stubner <ralf.stubner@web.de>]

On Sun, Nov 11, 2007 at 23:03 +0100, Norbert Preining wrote:

> for ETCH:
> 	deb(-src) http://people.debian.org/~preining/TeX/ luatex/

Thanks a lot, Norbert!

> Ralf: Could you please test ... I have no etch but my cow/pbuilder.
> Thanks!

Installation works. texdoclua also works. However, texdoclua does
still find the html page from the catalogue first:

rfstubne@nb-rfstubne:~$ texdoclua -l everyshi
/usr/share/texmf-texlive/doc/english/catalogue/entries/everyshi.html
/usr/share/texmf-texlive/doc/latex/everyshi/everyshi.dvi.gz
rfstubne@nb-rfstubne:~$ texdoc.notluatex -l everyshi
/usr/share/texmf-texlive/doc/english/catalogue/entries/everyshi.html
/usr/share/texmf-texlive/doc/latex/everyshi/everyshi.dvi.gz

I know nothing about lua, but at first glance this does not look to
surprising: 

extlist = {'','.dvi', '.dvi.gz', '.dvi.bz2', '.pdf', '.pdf.gz', '.pdf.bz2', '.ps', '.ps.gz', '.ps.bz2', '.txt', '.txt.gz', '.txt.bz2', '.html'};
[...]
extlist = set_listvar_from_expand_braces(extlist,'$TEXDOCEXT');

So while the default extlist is ok, this is then extended/overwritten
by the content of TEXDOCEXT, which is not idealy set.

cheerio
ralf