Hello,On Sun, 30 Apr 2006 09:31:51 +0200 "Piotr Engelking" <inkerman42@gmail.com> wrote:
Some man pages contain the following snippet:
This manual page was written for the Debian distribution because the
original program does not have a manual page. Instead, it has
documentation in the GNU Info format; see below.
Only a few packages carry this snippet nowadays [1], but I would like to extend this issue a bit and suggest a catch-all solution.
Manpages sometimes contain references to info documentation, especially the ones generated by help2man which includes such reference by default. Thus it would be nice to detect info documentation references at least in help2man-generated manpages and check if they exist. Particularly, lintian could search for /^\.B info (\S+)/ and then check for existence of /usr/share/info/$1.info.gz among all the binary packages produced from the same source.
The same code could as well be reused to locate nonexistent info documentation as requested in the original post.
[1] https://codesearch.debian.net/search?q=This+manual+page+was+written+for+the+Debian+distribution+because&literal=1
Andrius