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. Samuel
