#!/bin/sh

for f
do
  out=
  # Double backslashes for use in printf below.
  out=$(sed -n '/^\.TS/,/^.TE/d;s/\\/&&/g;/^[^.].*\\f/p' "$f")
  if [ -n "$out" ]
  then
    printf "%s\n" "$out" | while read line
    do
      printf "%s\n" "$f: $line"
    done
  fi
done