File r37/doc/util/conv.pl artifact 998b04c44e part of check-in 09c3848028
open(FL,"r37.tmp") or die "r37.tmp not there\n"; open(FLO,">r37.tex"); while (<FL>) { s/ *$//g; # Remove trailing blanks. s/\t/ /g; # Convert tabs. s/\\begin{verbatim}/{\\small\\begin{verbatim}/; s/\\end{verbatim}/\\end{verbatim}}/; print FLO $_; } close FL; close FLO; exit(0);