Vladimir Rusinov <vrusinov@google.com> writes:
> Therefore, I propose this patch.
Right now is a really bad time to do that; what it will mostly accomplish
is to break back-patching of doc fixes for little benefit.
There is work afoot to convert the documentation to xml. If that
succeeds, it'd make sense to strip trailing spaces (and start enforcing
that in .gitattributes) when we do that, since it'll be a back-patch
breakpoint anyway. But right now the PITA factor outweighs the benefit.
regards, tom lane
