Re: silence whitespace-cleanup

[Miles Bader]

Rajesh Vaidheeswarran <address@hidden> writes:
> I think it is a good idea. However, I'd do it differently. I'd rather
> use the customization scheme to deal with the user's preferences than
> by hardcoding the preferences, since a lot of others find the messages to be
> useful.

I think if any customization is required in this case, it's a part of
texinfo.el, not the whitespace stuff.  IOW, the argument should be
added, and texinfo.el can decide whether to make it customizable or not.

-Miles
-- 
97% of everything is grunge