Hi Thomas, hi Thomas ;-) it seems there is a bug in texdoctk as included in teTeX-3.0:
[EMAIL PROTECTED] (Eythan Weg) wrote: > On Thu, 17 Mar 2005 17:50:00 -0500, > I wrote: > > Package: tetex-bin > Version: 3.0-2 > Severity: normal > > Texdoctk does not find doc files. > Start texdoctk and then search for say pdftex. > Choose to view the manual. It fails with file not found. > > For me it helps to change to TEXDOCPATH=doc > > This actually does not really change anything. > Sorry... > > in texdocrc, and in texdoctk to insert this: > > --- texdoctk 2005-03-14 11:18:54.000000000 -0500 > +++ ttt1 2005-03-17 17:26:04.000000000 -0500 > @@ -711,6 +711,7 @@ > $slcdoc=""; > return $slcdoc; > } > + return $slcdoc; > last CMPREND; > } > } > This however, does. I have confirmed this. Note that on Debian pdftex-a.pdf is compressed (pdftex-a.pdf.gz). Regards, Frank -- Frank Küster Inst. f. Biochemie der Univ. Zürich Debian Developer