Hello. I have made a NMU to fix this in *bullseye*. (You probably received the Cc for the release.debian.org bug I filed).
The proposed diff which I sent in 2022-12 was not enough. I had to do this as well: override_dh_auto_install: ifneq (,$(findstring libmlpost-ocaml-doc,$(shell dh_listpackages))) - $(MAKE) doc + $(MAKE) doc HOME=$(shell mktemp -d) endif For some reason the writable HOME feature of debhelper 13 was not working, but at least I could reuse most of the work by Dennis Filder. Thanks.
