From 35361c4799285226e14eafa4e59160616efbaabf Mon Sep 17 00:00:00 2001 From: Kate Date: Sat, 16 Nov 2024 14:30:20 +0000 Subject: [PATCH] Delete trailing whitespace from generated opam-topics.inc and opam-admin-topics.inc files --- doc/man/dune_man.ml | 2 +- doc/man/opam-admin-topics.inc | 26 ++++++++-------- doc/man/opam-topics.inc | 56 +++++++++++++++++------------------ 3 files changed, 42 insertions(+), 42 deletions(-) diff --git a/doc/man/dune_man.ml b/doc/man/dune_man.ml index ec2ddf30d0f..af091cb8756 100644 --- a/doc/man/dune_man.ml +++ b/doc/man/dune_man.ml @@ -38,5 +38,5 @@ let () = \ (section man)\n\ \ (package opam)\n\ \ (files%s))\n" - (String.concat " " + (String.concat "" (List.map (Printf.sprintf "\n %s-%s.1" target_basename) topics)) diff --git a/doc/man/opam-admin-topics.inc b/doc/man/opam-admin-topics.inc index 4123a149bc6..ea30bce693c 100644 --- a/doc/man/opam-admin-topics.inc +++ b/doc/man/opam-admin-topics.inc @@ -144,17 +144,17 @@ (section man) (package opam) (files - opam-admin-help.1 - opam-admin-migrate-extrafiles.1 - opam-admin-update-extrafiles.1 - opam-admin-add-hashes.1 - opam-admin-add-constraint.1 - opam-admin-filter.1 - opam-admin-list.1 - opam-admin-compare-versions.1 - opam-admin-check.1 - opam-admin-lint.1 - opam-admin-upgrade.1 - opam-admin-cache.1 - opam-admin-make.1 + opam-admin-help.1 + opam-admin-migrate-extrafiles.1 + opam-admin-update-extrafiles.1 + opam-admin-add-hashes.1 + opam-admin-add-constraint.1 + opam-admin-filter.1 + opam-admin-list.1 + opam-admin-compare-versions.1 + opam-admin-check.1 + opam-admin-lint.1 + opam-admin-upgrade.1 + opam-admin-cache.1 + opam-admin-make.1 opam-admin-index.1)) diff --git a/doc/man/opam-topics.inc b/doc/man/opam-topics.inc index f58490e3ef9..3969f6b3acf 100644 --- a/doc/man/opam-topics.inc +++ b/doc/man/opam-topics.inc @@ -294,32 +294,32 @@ (section man) (package opam) (files - opam-help.1 - opam-admin.1 - opam-lock.1 - opam-clean.1 - opam-lint.1 - opam-source.1 - opam-unpin.1 - opam-pin.1 - opam-switch.1 - opam-remote.1 - opam-repository.1 - opam-env.1 - opam-exec.1 - opam-config.1 - opam-option.1 - opam-var.1 - opam-upgrade.1 - opam-update.1 - opam-reinstall.1 - opam-uninstall.1 - opam-remove.1 - opam-install.1 - opam-info.1 - opam-show.1 - opam-why.1 - opam-tree.1 - opam-search.1 - opam-list.1 + opam-help.1 + opam-admin.1 + opam-lock.1 + opam-clean.1 + opam-lint.1 + opam-source.1 + opam-unpin.1 + opam-pin.1 + opam-switch.1 + opam-remote.1 + opam-repository.1 + opam-env.1 + opam-exec.1 + opam-config.1 + opam-option.1 + opam-var.1 + opam-upgrade.1 + opam-update.1 + opam-reinstall.1 + opam-uninstall.1 + opam-remove.1 + opam-install.1 + opam-info.1 + opam-show.1 + opam-why.1 + opam-tree.1 + opam-search.1 + opam-list.1 opam-init.1))