>>>>> "Mikhail" == Mikhail Teterin <[EMAIL PROTECTED]> writes:

Mikhail> 3. Manual pages -- these get installed under
Mikhail> PREFIX/share/man, which is wrong. If PREFIX is not /usr (and
Mikhail> it should not be, because lyx is not part of the OS, although
Mikhail> Linux folks don't seem to care for such things), 

LyX is considered as part of the OS when part of a distribution. But
our own configure script always uses /usr/local/ by default.

Mikhail> the right place for man-pages is under PREFIX/man (no "share"
Mikhail> in between). I now have to add an explicit --mandir flag to
Mikhail> configure. This was not an issue with LyX-1.4.4.

We do not do anything about that, and on my machine the mandir is
correctly set to prefix/man without any special intervention.
Strange...

JMarc

Reply via email to