(check-doc): Use filterlines.py instead of "grep -v -f ...". Adjust
the contents of several temporary files accordingly: they now contains lines to ignore, not regexp patterns to ignore. Use tac.py instead of tac; not everybody has GNU textutils installed.
Showing with 24 additions and 24 deletions