890b32ee41
into corresponding distributions during "make release". (This also cleans the "slib" distribution up from the .o files.) PR: misc/43825 (inspired by)