[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