Switch to side-by-side view
--- a/src/filters/rcldvi +++ b/src/filters/rcldvi @@ -17,7 +17,6 @@ # 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. # -# rcldvi # Extract text from a dvi file by either executing dvitops and rclps # or using catdvi. dvitops has given better results during tests, and is # chosen first if available, but the dvitops/rclps combination is much @@ -27,10 +26,6 @@ LC_ALL=C ; export LC_ALL progname="rcldvi" filetype=dvi - - - - #RECFILTCOMMONCODE