There is no man page for 'undocumented'

[Robin Sheat]

$ man snapctl
No manual entry for snapctl
See 'man 7 undocumented' for help when manual pages are not available.

$ man 7 undocumented
No manual entry for undocumented in section 7

ProblemType: Bug
DistroRelease: Ubuntu 18.04
Package: man-db 2.8.3-2
ProcVersionSignature: Ubuntu 4.15.0-34.37-generic 4.15.18
Uname: Linux 4.15.0-34-generic x86_64
ApportVersion: 2.20.9-0ubuntu7.3
Architecture: amd64
CurrentDesktop: ubuntu:GNOME
Date: Fri Sep 14 15:47:26 2018
InstallationDate: Installed on 2015-11-30 (1019 days ago)
InstallationMedia: Ubuntu 15.10 "Wily Werewolf" - Release amd64 (20151021)
SourcePackage: man-db
UpgradeStatus: Upgraded to bionic on 2018-08-17 (28 days ago)

[Launchpad Janitor (janitor)]

Status changed to 'Confirmed' because the bug affects multiple users.

[Launchpad Janitor (janitor)]

This bug was fixed in the package man-db - 2.8.7-3

---------------
man-db (2.8.7-3) unstable; urgency=medium

  * Stop trying to get dh_installman to use the just-built version of man.
    There are too many reasons this can fail, and it's of marginal utility
    (dh_installman only uses man for recoding, which is pretty stable).
  * Update path to Gnulib files in debian/copyright.
  * Add a debian/upstream/metadata file.
  * Re-export debian/upstream/signing-key.asc without extra signatures.
  * Override shlib-calls-exit Lintian tag for libman-*.so, since this is
    intentional and OK.

 -- Colin Watson <email address hidden> Tue, 27 Aug 2019 11:39:08 +0100