From: Pádraig Brady <P@draigBrady.com>
Date: Wed, 5 Feb 2025 12:41:45 +0000 (+0000)
Subject: doc: remove extraneous new lines in some man pages
X-Git-Tag: v9.7~47
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3f7c36cbbb14f542326a3ab6060772e110459f39;p=thirdparty%2Fcoreutils.git

doc: remove extraneous new lines in some man pages

* local.mk: Add the --loose-indent option, which results in help2man
avoiding extraneous new lines in expr.1, id.1, numfmt.1, shred.1,
tail.1, and timeout.1.
Fixes https://bugs.gnu.org/74107
---

diff --git a/man/local.mk b/man/local.mk
index 8a3ef78d9d..ae74bf6ce1 100644
--- a/man/local.mk
+++ b/man/local.mk
@@ -27,7 +27,7 @@ if HAVE_PERL
 if BOLD_MAN_REFS
 help2man_OPTS=--bold-refs
 endif
-run_help2man = $(PERL) -- $(srcdir)/man/help2man $(help2man_OPTS)
+run_help2man = $(PERL) -- $(srcdir)/man/help2man --loose-indent $(help2man_OPTS)
 else
 run_help2man = $(SHELL) $(srcdir)/man/dummy-man
 endif