Make it possible to regenerate all documentation, slightly change doc format