>>>>> "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