pstotext does not work with recent ghostscript versions. Use catdvi instead of dvips+pstotext for dvi, and ps2pdf+pdftotext for postscript

Jean-Francois Dockes Jean-Francois Dockes 2018-11-20

changed src/filters/rcldvi
changed src/filters/rclps
changed src/sampleconf/mimeconf
src/filters/rcldvi Diff Switch to side-by-side view
Loading...
src/filters/rclps Diff Switch to side-by-side view
Loading...
src/sampleconf/mimeconf Diff Switch to side-by-side view
Loading...