Uninstalling Kerberos from /usr/local

[Goetz Golla]

Hi there,

I once installed krb5 Release 1.20.2 from sources to /usr/local on a 
debian 12 server.
Meanwhile we are on Debian 13 and 1.21.3 comes as debian packages, which 
is just what I need.
But before installing the deb packages I would need to uninstall the old 
release in /usr/local.
What is the best way to do this ? Is it really true that there is no 
"make uninstall", so I might
have to remove the over 100 files manually from various subdirs in 
/usr/local ?

Goetz