[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#59631: 29.0.50; [PATCH] New check-man target to check man pages for
|
From: |
Stefan Kangas |
|
Subject: |
bug#59631: 29.0.50; [PATCH] New check-man target to check man pages for errors |
|
Date: |
Sun, 27 Nov 2022 09:49:13 -0800 |
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.
0001-New-script-admin-check-man-pages.patch
Description: Text Data