Bug#1142901: menhir: FTBFS: dh_missing: error: missing files, aborting

Package: src:menhir
Version: 20260209+ds-2
Severity: serious
Tags: ftbfs forky sid

Dear maintainer:

During a rebuild of all packages in unstable, this package failed to build.

Below you will find the last part of the build log (probably the most
relevant part, but not necessarily). If required, the full build log
is available here:

https://people.debian.org/~sanvila/build-logs/202607/

About the archive rebuild: The build was made on virtual machines from AWS,
using sbuild and a reduced chroot with only build-essential packages.

If you cannot reproduce the bug please contact me privately, as I
am willing to provide ssh access to a virtual machine where the bug is
fully reproducible.

If this is really a bug in one of the build-depends, please use
reassign and add an affects on src:menhir, so that this is still
visible in the BTS web page for this package.

Thanks.

--------------------------------------------------------------------------------
[...]
   dh_perl -O--buildsystem=ocaml_dune
   dh_link -O--buildsystem=ocaml_dune
   dh_missing -O--buildsystem=ocaml_dune
dh_missing: warning: usr/share/ocaml-dune/man/man1/menhir.1 exists in debian/tmp but is not installed to anywhere (related file: "doc/menhir.1")
dh_missing: error: missing files, aborting

	While detecting missing files, dh_missing noted some files with a similar name to those
	that were missing.  This error /might/ be resolved by replacing references to the
	missing files with the similarly named ones that dh_missing found - assuming the content
	is identical.

	As an example, you might want to replace:
	 * doc/menhir.1
	with:
	 * usr/share/ocaml-dune/man/man1/menhir.1
	in a file in debian/ or as argument to one of the dh_* tools called from debian/rules.
	(Note it is possible the paths are not used verbatim but instead directories 
	containing or globs matching them are used instead)

	Alternatively, add the missing file to debian/not-installed if it cannot and should not
	be used.

	The following debhelper tools have reported what they installed (with files per package)
	 * dh_install: libmenhir-ocaml-dev (0), menhir (1), menhir-doc (0)
	 * dh_installdocs: libmenhir-ocaml-dev (0), menhir (0), menhir-doc (0)
	 * dh_installman: libmenhir-ocaml-dev (0), menhir (1), menhir-doc (0)
	 * dh_ocamllibinstall: libmenhir-ocaml-dev (248)
	If the missing files are installed by another tool, please file a bug against it.
	When filing the report, if the tool is not part of debhelper itself, please reference the
	"Logging helpers and dh_missing" section from the "PROGRAMMING" guide for debhelper (10.6.3+).
	  (in the debhelper package: /usr/share/doc/debhelper/PROGRAMMING.md.gz)
	Be sure to test with dpkg-buildpackage -A/-B as the results may vary when only a subset is built
	If the omission is intentional or no other helper can take care of this consider adding the
	paths to debian/not-installed.
make: *** [debian/rules:7: binary] Error 255
dpkg-buildpackage: error: debian/rules binary subprocess failed with exit status 2
--------------------------------------------------------------------------------