Fabrice: sometime, this part takes forever... The docbook stylesheet used to generate the documentation can be quite slow.
Fabrice: sometime, this part takes forever... The docbook stylesheet used to generate the documentation can be quite slow.