.eps graphic files in documentation are no longer ignored