Control: tags -1 + pending On Sun, 13 Aug 2017 12:01:03 +0200 Holger Wansing <li...@wansing-online.de> wrote: > Control: tags -1 + patch > > On Fri, 11 Aug 2017 20:56:01 +0200 > Samuel Thibault <sthiba...@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 <li...@wansing-online.de>
