2 #usage: ./extract_examples.pl ~/week-end/working-documents/examples.tex
10 open TMP
, ">$ex.cocci" or die "$!";
13 if(/begin{verbatim}/) {
15 #old: open TMP, ">$ex.cocci" or die "$!";
16 } elsif(/end{verbatim}/) {
20 if($are_in) { print TMP
"$_"; }