[FFmpeg-devel] [PATCH] Define mandir as $(PREFIX)/share/man rather than as $(PREFIX)/man
Sat Sep 15 20:03:33 CEST 2007
On Sat, Sep 15, 2007 at 05:05:36PM +0200, Stefano Sabatini wrote:
> Hi all,
> most modern Unix systems prefer PREFIX/share/man against PREFIX/man,
> and the former is also more complying with HFS:
> 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.
More information about the ffmpeg-devel