Release coccinelle-0.2.0rc1

[bpt/coccinelle.git] / scripts / extract_examples.pl

diff --git a/scripts/extract_examples.pl b/scripts/extract_examples.pl
dissimilarity index 66%
index 23a5465..f0fed0a 100755 (executable)
--- a/scripts/extract_examples.pl
+++ b/scripts/extract_examples.pl
@@ -1,42 +1,22 @@
-# Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
-# Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
-# This file is part of Coccinelle.
-#
-# Coccinelle is free software: you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation, according to version 2 of the License.
-#
-# Coccinelle is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-# GNU General Public License for more details.
-#
-# You should have received a copy of the GNU General Public License
-# along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
-#
-# The authors reserve the right to distribute this or future versions of
-# Coccinelle under other licenses.
-
-
-#!/usr/bin/perl
-#usage:  ./extract_examples.pl ~/week-end/working-documents/examples.tex
-
-my $ex = 0;
-my $are_in = 0;
-while(<>) { 
-
-    if(/\\section{/) { 
-        $ex++;
-        open TMP, ">$ex.cocci" or die "$!";
-    }
-
-    if(/begin{verbatim}/) { 
-        $are_in = 1;
-        #old: open TMP, ">$ex.cocci" or die "$!";
-    } elsif(/end{verbatim}/) { 
-        $are_in = 0;
-        #old: $ex++;
-    } else {
-        if($are_in) {  print TMP "$_"; }
-    }
-}
+#!/usr/bin/perl
+#usage:  ./extract_examples.pl ~/week-end/working-documents/examples.tex
+
+my $ex = 0;
+my $are_in = 0;
+while(<>) { 
+
+    if(/\\section{/) { 
+        $ex++;
+        open TMP, ">$ex.cocci" or die "$!";
+    }
+
+    if(/begin{verbatim}/) { 
+        $are_in = 1;
+        #old: open TMP, ">$ex.cocci" or die "$!";
+    } elsif(/end{verbatim}/) { 
+        $are_in = 0;
+        #old: $ex++;
+    } else {
+        if($are_in) {  print TMP "$_"; }
+    }
+}