On Die, 03 Jul 2007, Jörg Sommer wrote:
> both files /etc/texmf/texmf.d/45TeXinputs.cnf and
> /etc/texmf/texmf.d/90TeXDoc.cnf define the variable TEXDOCEXT which is
> used by texdoc. The definition in 45TeXinputs.cnf is bad, because it
> gives .html a higher priority than .pdf.gz
Thanks, will be f
Package: tex-common
Version: 1.9
Severity: normal
Hi,
both files /etc/texmf/texmf.d/45TeXinputs.cnf and
/etc/texmf/texmf.d/90TeXDoc.cnf define the variable TEXDOCEXT which is
used by texdoc. The definition in 45TeXinputs.cnf is bad, because it
gives .html a higher priority than .pdf.gz
Bye, Jörg
2 matches
Mail list logo