Attached a correct patch from Georg. As > Bug 3878 http://bugzilla.lyx.org/show_bug.cgi?id=3878 prevents the Userguide from beeing compiled
this should go in before RC2. Bug 1942 is still not fixed, but this can be done later as this is a cosmetic bug. Seeking for another OK to commit. regards Uwe