pstotext does not work with recent ghostscript versions. Use catdvi instead of dvips+pstotext for dvi, and ps2pdf+pdftotext for postscript
Authored by: Jean-Francois Dockes 2018-11-20
Parent(s): [6c9969]
Child(ren): [f42545]