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

Previous Next

Full log

Message #8 received at 59631 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Stefan Kangas <stefankangas <at> gmail.com>
Cc: 59631 <at> debbugs.gnu.org
Subject: Re: bug#59631: 29.0.50;
 [PATCH] New check-man target to check man pages for errors
Date: Sun, 27 Nov 2022 17:44:40 +0200

> From: Stefan Kangas <stefankangas <at> gmail.com>
> Date: Sun, 27 Nov 2022 07:23:49 -0800
> 
> The attached patch adds a new check-man target to check our man pages
> for errors.  I know we prefer info over man, but why not.  It will catch
> mistakes, like using unknown macros, etc.
> 
> To test this, change a macro like ".B" to ".BBB" in doc/man/emacs.1 and
> run "make check-man".

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.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.