Ignore favdoc files.