Re: trunk not compilable

[Abdelrazak Younes]

Pavel Sanda wrote:

Leuven, E. wrote:

on loading the user guide:

Better now?

no, user guide still crashes.

Yeah I am doubly stupid... will fix, sorry.

Abdel.