>>>>> "Enrico" == Enrico Forestieri <[EMAIL PROTECTED]> writes:
Enrico> I found that it will be recognized if you have a \path_prefix Enrico> entry in lyxrc.dist. Enrico> This fact hints at a wrong way of dealing with \path_prefix, Enrico> as user changes will be recorded in preferences and not in Enrico> lyxrc.dist. Originally, path_prefix was intended as something for the installers. In theory, when installers are perfect, there is no need to change it in prefs. I tend to think that people who change path prefix could as well change their environment, but I might be missing reasonable uses. Actually I'd even propose to remove path_prefix from the prefs UI. JMarc
