bug#59631: 29.0.50; [PATCH] New check-man target to check man pages for errors

[Eli Zaretskii]

> From: Stefan Kangas <stefankangas@gmail.com>
> Date: Sun, 27 Nov 2022 09:49:13 -0800
> Cc: 59631@debbugs.gnu.org
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> > Thanks, but I think it is better to have this as a script in admin/, not a
> > rule in the top-level Makefile.  Especially since it requires specialized
> > tools and setups.
> 
> OK, please find attached a new patch making this into a script instead.

Thanks, LGTM.

Maybe this should be mentioned in some notes, like make-tarball or
something?  When do we want to run this?