Le 05/05/11 14:01, Vincent van Ravesteijn a écrit :
- what does LYX_DEVEL_VERSION do? What is the difference with LYX_RELEASE=OFF?This sets the DEVEL_VERSION #define. Grep the LyX source to see where it is used.
I think these options should be rationalized and streamlined. This LYX_DEVEL_VERSION does not have a useful default value.
JMarc
