Add the possibility to generate documentation at build time