> $prefix/man for your man pages. You can override that with a
> "./configure --mandir=/usr/share/man" (at least in theory I haven't
> tried that). Or you can alternatively set your MANPATH to know about
That works, and so does ./configure --mandir=\${prefix}/share/man