Bug#871751: installation-guide: please transition from jadetex to texlive-formats-extra
Control: tags -1 + pending
On Sun, 13 Aug 2017 12:01:03 +0200
Holger Wansing <linux@wansing-online.de> wrote:
> Control: tags -1 + patch
>
> 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.
>
> I have created a patch for this, attached.
> Build still works fine after applying.
Just committed.
Tagging this bug as pending.
Holger
--
Holger Wansing <linux@wansing-online.de>
Reply to: