Re: [Groff] wrong install path of man and info files

[Werner LEMBERG]

> So far, the man pages are installed into ${prefix}/man.  This copies
> the corresponding files to /usr/local/man or /usr/man.  According to
> the FHS and common usage, this should be /usr/share/man or
> /usr/local/share/man.  The same happens to the info file.
>
> To correct this, the `configure' file in the top source directory
> must be changed.

I'm *very* reluctant to do this.  What do the autoconf people say?  I
think Bernd is right, so I wonder why the defaults haven't changed in
autoconf.  It deserves at least a note in the autoconf manual IMHO.


    Werner