[Users] [Bug 4061] 'make uninistall' leaves empty directories

[Removed GDPR]

On Thu, 26 Jul 2018 12:47:29 -0000 Paul wrote:

> George, instead of jumping up and down, waving your
> arms, at the periphery (i.e. itemising every last
> thing you can think of), why not just walk inside
> and try to fix things? You would surely save energy
> that way.

Sorry, Paul. I didn't mean to sound like "waving my
arms" or waste anyone's energy. I just tried to
provide necessary details about what I found.

By 'fix things' - what do you mean? I would be glad to
help but I have never worked with makefiles. I don't
know which particular script takes care of cleaning up
after uninstall and what is really supposed to remain
as a final structure.

--
George