[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#871751: installation-guide: please transition from jadetex to texlive-formats-extra


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.


Reply to: