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 <email@example.com> wrote:
> Control: tags -1 + patch
> On Fri, 11 Aug 2017 20:56:01 +0200
> Samuel Thibault <firstname.lastname@example.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.
Tagging this bug as pending.
Holger Wansing <email@example.com>