demo/*.c doesn't always get headers right. Don't install man pages to /usr/share/man