Bug#431610: tex-common: 45TeXinputf and 90TeXdoc define texdoc extension

2007-07-05 Thread Norbert Preining
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

Bug#431610: tex-common: 45TeXinputf and 90TeXdoc define texdoc extension

2007-07-03 Thread Jörg Sommer
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,