demo/*.c doesn't always get headers right.

Don't install man pages to /usr/share/man