Hi, On Fri, 11 Aug 2017 12:07:44 +0900 prein...@debian.org wrote: > Package: installation-guide > Version: 20170614 > Severity: normal > > Dear maintainer, > > your package installation-guide declares a relation onto > jadetex > which has been a transitional package for one and a half years > by now. > > Please update your package dependencies to use the correct > texlive-formats-extra > > We will remove `jadetex' in the near future, but will continue > providing it from texlive-formats-extra for some more time
So in the long run, it would be needed to get completely rid of jadetex at some time ... 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? Holger -- Holger Wansing <li...@wansing-online.de>
