Bug#871751: installation-guide: please transition from jadetex to texlive-formats-extra
Hi,
On Fri, 11 Aug 2017 20:56:01 +0200
Samuel Thibault <sthibault@debian.org> wrote:
> Hello,
>
> Holger Wansing, on ven. 11 août 2017 20:41:08 +0200, wrote:
> > jadetex is only used for creating ps variants of the manual (strictly spoken
> > to generate dvi file, as a intermediate step to create ps), and ps variant
> > is disabled for a long time already.
> >
> > Should we completely remove create_ps and create_dvi and ps variant from the
> > code?
>
> I'd say so.
Ok, I will prepare a patch for that.
Holger
--
Holger Wansing <linux@wansing-online.de>
Reply to: