[gentoo-user] prune gentoo-sources vs rm gentoo-sources

[Maxim Wexler]

Hi group,

according to the docs the approved method of removing old
gentoo-sources is emerge --prune. But I've already used rm -rf on
them. Have I set myself up for a problem later?

Maxim