#280 Doc ignoring files in linting