[Gnash-dev] "make install" puts manuals into $prefix/man, not $prefix/share/man

[John Gilmore]

I see that the generated Makefile includes:

man1dir = $(mandir)/man1
mandir = ${prefix}/man

Shouldn't that be ${prefix}/share/man by default?

(Fedora comes with /usr/local/share/man but not /usr/local/man.  And
every root file system now comes with /usr/share/man.  Does everyone
who packages gnash have to override --mandir?)

        John