From: Karl Berry <karl@freefriends.org>
Date: Sun, 28 May 2023 00:59:51 +0000 (-0700)
Subject: doc: HACKING bug merge; doc/local.mk help2man update hints.
X-Git-Tag: v1.16i~53
X-Git-Url: http://git.ipfire.org/gitweb/gitweb.cgi?a=commitdiff_plain;h=e5168045087f356b6657ef172fe6f33b399b882a;p=thirdparty%2Fautomake.git

doc: HACKING bug merge; doc/local.mk help2man update hints.

* HACKING: give bug merge example.
* doc/local.mk: how to update help2man manually;
fix checklinkx sleep comment.
---

diff --git a/HACKING b/HACKING
index 26b01c5e6..e0ac01875 100644
--- a/HACKING
+++ b/HACKING
@@ -431,6 +431,10 @@
   control@debbugs.gnu.org with a one-line body:
     tags 12345 + help confirmed
 
+* To merge bugs 12345 and 56789, mail to
+  control@debbugs.gnu.org with a one-line body:
+    merge 12345 56789
+
 * In general, all bug operations are done by mail.  Reference information:
     https://debbugs.gnu.org/server-control.html # dev info
 
diff --git a/doc/local.mk b/doc/local.mk
index d72e8e6bb..f76d6d66f 100644
--- a/doc/local.mk
+++ b/doc/local.mk
@@ -31,7 +31,8 @@ man1_MANS = \
 $(man1_MANS): $(top_srcdir)/configure.ac
 
 CLEANFILES += $(man1_MANS)
-# XXX: This script should be updated with 'fetch' target.
+# XXX: This script should be updated with 'fetch' target, but isn't;
+# build help2man normally and copy it in manually. Preserve the #! path.
 EXTRA_DIST += %D%/help2man
 
 update_mans = \
@@ -58,7 +59,7 @@ update_mans = \
 ## under manual control. See https://debbugs.gnu.org/10371.
 ##
 checklinkx = $(top_srcdir)/contrib/checklinkx
-# that 4-second sleep seems to be what gnu.org likes.
+# that particular sleep seems to be what gnu.org likes.
 chlx_args = -v --sleep 8 #--exclude-url-file=/tmp/xf
 # Explanation of excludes:
 # - w3.org dtds, they are fine (and slow).