error in texdoctk (Debian bug #300142)

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