[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:
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.
Sorry for the pickyness ;-).
Regards.
--
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