On Sun, 15 Jul 2018 22:49:07 +0000 (UTC),
Martin Gregorie , in
 wrote:

>  hence I don't know what, if anything, is in /usr/share on an RPi. So
>  shoot me!

I'll pass on the shooting part, since I didn't know, either. But it
seems to be mostly empty, tho the directory structure appears to be
there, and most of the actual files are copyright notices, the
occasional changelog or readme.

--
Consulting Minister for Consultants, DNRC
I can please only one person per day. Today is not your day. Tomorrow
isn't looking good, either.
I am BOFH. Resistance is futile. Your network will be assimilated.

--- SoupGate-Win32 v1.05