]> git.ipfire.org Git - thirdparty/coreutils.git/commitdiff
doc: remove extraneous new lines in some man pages
authorPádraig Brady <P@draigBrady.com>
Wed, 5 Feb 2025 12:41:45 +0000 (12:41 +0000)
committerPádraig Brady <P@draigBrady.com>
Wed, 5 Feb 2025 12:50:53 +0000 (12:50 +0000)
* 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

man/local.mk

index 8a3ef78d9dd0da0ecbc3d8177c7ed7b4d0294e91..ae74bf6ce10bed49cd31506aecc441cfdf8a8dba 100644 (file)
@@ -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