documentation for IGNORE_FILES

Fixes #756