On Fri, 11 Aug 2017 12:07:44 +0900
> Package: installation-guide
> Version: 20170614
> Severity: normal
> Dear maintainer,
> your package installation-guide declares a relation onto
> which has been a transitional package for one and a half years
> by now.
> Please update your package dependencies to use the correct
> 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
Holger Wansing <li...@wansing-online.de>