For the Debian packaging, I applied the attached patch
[Debian needs that the info](https://lintian.debian.org/tags/info-document-missing-dir-entry.html) files installed have a `dircategory` and `direntry` defined.
For the Debian packaging, I applied the attached patch
Debian needs that the info files installed have a
dircategory
anddirentry
defined.For the Debian packaging, I applied the attached patch