grep -v".txt .dvi" は
何か1文字､t､x､t､スペース､何か1文字､d､v､i
というひとつながりの文字列がある行を除外する｡