Georg Baum wrote:
This is a hack again :-( configure.py should never modify preferences. I do not want it to override settings I may have done manually.
Why create such complicated hacks? So far I think the simple patch for lyxrc.distviewers is the best solution. I don't see what's wrong with it.
Joost
