File list of package menhir-doc in trixie of architecture all

/usr/share/doc-base/menhir-doc.menhir
/usr/share/doc/menhir-doc/changelog.Debian.gz
/usr/share/doc/menhir-doc/copyright
/usr/share/doc/menhir/manual.html
/usr/share/doc/menhir/manual.pdf.gz
/usr/share/doc/menhir/manual001.png
/usr/share/doc/menhir/manual002.png
/usr/share/doc/menhir/manual003.png