backtracking/mlpost

integrate Debian patches to make documentation build again

Opened this issue · 1 comments

While working on OCaml bug MPR#7037 I tried to compile mlpost's documentation make doc, and this fails and seems to have been broken for a long time. On the contrary, the Debian package for mlpost provides several patches, developed over time by the Debian maintainers, to fix various things in the mlpost-0.8.1 sources.

https://sources.debian.net/src/mlpost/0.8.1-6/debian/patches/

I don't know which of them are still relevant to upstream mlpost, but I think that at least 0006-Fix-for-ocamldoc-4.patch, which makes mlpost's documentation buildable again, could be integrated.

bobot commented

Thank you for the heads up and the links, I will look at them.