[FFmpeg-devel] [PATCH] Define mandir as $(PREFIX)/share/man rather than as $(PREFIX)/man
Diego Biurrun
diego
Sun Sep 16 19:45:58 CEST 2007
On Sat, Sep 15, 2007 at 02:03:33PM -0400, Rich Felker wrote:
> On Sat, Sep 15, 2007 at 05:05:36PM +0200, Stefano Sabatini wrote:
> >
> > most modern Unix systems prefer PREFIX/share/man against PREFIX/man,
> > and the former is also more complying with HFS:
> > http://www.pathname.com/fhs/2.2/fhs-4.11.html
> >
> > Note also that this isn't actually a problem in most systems, since
> > PREFIX/man is usually setted as a link to PREFIX/share/man, anyway
> > here it is the patch.
>
> This should probably have some discussion. Which case is more likely
> to break, and do we care? Are there legacy systems that use
> $PREFIX/man with no symlink to it in $PREFIX/share/man? Are there new
> systems without a $PREFIX/man symlink?
>
> If the latter is the case I definitely agree it should be changed.
> Keeping around cruft that breaks on modern systems for the sake of
> legacy systems is usually bad. But if installing to $PREFIX/man works
> everywhere, maybe it's safer for the time being.
I don't think this will affect any of the systems we support and those
affected can pass --mandir to configure.
So patch applied.
Diego
More information about the ffmpeg-devel
mailing list