#!/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; } }