Le mardi 14 janvier 2025 à 08:12 +0100, Stéphane Glondu a écrit : > > I'm now asking for help from other maintainers to improve the > situation! I found the time to work on the coq-doc problem ; I made a few modifications which improve matters, but it's still not compiling and I'm a bit stuck because I don't see the problematic error message. I'll try again next week, Cheers, J.Puydt