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): [6f1be8]
Child(ren): [fd1234]