bug#71499: [PATCH] Make whitespace.el cleanup add missing final newline

[Stefan Kangas]

Robert Pluim <rpluim@gmail.com> writes:

> Yes. I guess I could turn off whitespace-cleanup for those files, and
> complain at those people more loudly :-) .

Just to confirm: you still want it highlighted, despite the fact that
you're anyways not planning to change it?  IOW, you couldn't just
customize `whitespace-style` in those directories and have it do what
you want?

Perhaps we should have `whitespace-disable-cleanups` for these use
cases, but it should then allow customizing a list of values similar to
the ones in `whitespace-style`.