Is your request related to a problem? Please describe.
It very often happen that the documentation generation is broken by some changes in the compilation process, but nobody realizes it before a few weeks because it is not notified anywhere.
Could we add a verification of the documentation generation in the same way that we do for the gama compilation verification ?
Is your request related to a problem? Please describe. It very often happen that the documentation generation is broken by some changes in the compilation process, but nobody realizes it before a few weeks because it is not notified anywhere. Could we add a verification of the documentation generation in the same way that we do for the gama compilation verification ?