#280 doc ignoring files in linting