Helmut Grohne, le mar. 26 janv. 2021 14:35:08 +0100, a ecrit: > Finally, the documentation is not rebuilt during package build.
Ah, that is unexpected actually, we do want to rebuild the documentation. Is that part a problem for loops? I applied the rest, thanks! Samuel
