[FFmpeg-devel] [PATCH] Define mandir as $(PREFIX)/share/man rather than as $(PREFIX)/man

Stefano Sabatini stefano.sabatini-lala
Sat Sep 15 17:05:36 CEST 2007

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.

Sorry for the pickyness ;-).

Stefano Sabatini
Linux user number 337176 (see http://counter.li.org)
-------------- next part --------------
A non-text attachment was scrubbed...
Name: define-mandir-as-prefix-share-man-00.patch
Type: text/x-diff
Size: 968 bytes
Desc: not available
URL: <http://lists.mplayerhq.hu/pipermail/ffmpeg-devel/attachments/20070915/15d79ede/attachment.patch>

More information about the ffmpeg-devel mailing list