Bug#93781: 93781 texdoc prefers compressed over uncompressed documents
On 27.08.03 Atsuhito Kohda (kohda@pm.tokushima-u.ac.jp) wrote:
> From: Hilmar Preusse <hille42@web.de>
> Subject: Bug#93781: 93781 texdoc prefers compressed over uncompressed documents
> Date: Sat, 2 Aug 2003 11:33:16 +0200
>
> > Well, I prefer a more simple solution, which was discussed lately in
> > debian-tetex-maint. Patch is attached and should fit to an
> > tetex-build-tree made by dpkg-source -x . I dunno, if it is a good
> > idea to construct TEXDOCEXT that way, but it is configurable anyway
> > afterwards.
>
> From: Hilmar Preusse <hille42@web.de>
> Subject: Re: texdoc: Should it use TEXDOCEXT like plain teTeX 2?
> Date: Thu, 31 Jul 2003 20:34:14 +0200
>
> > Still any comments about that? If not, I'll prepare a patch send it
> > into #93781.
>
> Is there a patch or not yet?
>
It is in. I sent it in with the quoted mail from the 2nd of August.
That patch diffs with the patch already in debian/ and not with the
texdoc-skript itself.
H.
--
sigmentation fault
Reply to: