#!/bin/awk -f
# Tomasz Przechlewski <t.przechlewski@gust.org.pl>. 
# Copyright 1999. Public domain
#
# Powielenie kodu pomi/edzy \begin{example} a \end{example}
#
{

  if ($0 ~ /^\\begin\{example\}/)   {
      gsub(/\\begin\{example\}/,"\\begin\{TPexample\}\n\\begin\{excode\}"); 
      print $0;
      code_lines=""; 
      in_code = 1; 
      next; 
  }
  else {
     if ($0 ~ /^\\end\{example\}/) { 
         gsub(/\\end\{example\}/,"\\end\{excode\}");
         print $0;
         print "\\begin\{exshow\}";
         print code_lines;
         print "\\end\{exshow\}\n\\end\{TPexample\}"; 
         in_code = 0; 
         next; 
     }
  }
 
  if (in_code) {
      print $0;
      if (code_lines == "") {code_lines = $0; }
      else {code_lines = code_lines "\n" $0; }
  } else {
      print $0;
  }
}