20

Удаляем из всех .html файлов начало до тега

,
и от 
- до конца файла. Включая и сами теги.

$ cat *.html | sed '1,/<pre>/d; /<\/pre>/,$d' > final.file